Proceedings of the Seventh Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice, King's College London, UK, 20-21 July 2000 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hans Jürgen Ohlbach, Ulrich Endriss, Odinaldo Rodrigues, Stefan Schlobach, editors, Proceedings of the Seventh Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice, King's College London, UK, 20-21 July 2000. Volume 32 of CEUR Workshop Proceedings, CEUR-WS.org, 2000. [doi]

Conference: arw2000

This author has not been identified. Look up 'Hans Jürgen Ohlbach' in GoogleThis author has not been identified. Look up 'Ulrich Endriss' in GoogleThis author has not been identified. Look up 'Odinaldo Rodrigues' in GoogleThis author has not been identified. Look up 'Stefan Schlobach' in Google

runs on WebDSL