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
No references recorded for this publication.
No citations of this publication recorded.