| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings | Taschenbuch | | 978-3-540-64608-2 | 2008 | Alan J. Hu |
| Database Theory - ICDT '95: 5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings | " | | 978-3-540-58907-5 | 2008 | Georg Gottlob |
| Database Theory-Icdt '95: 5th International Conference Prague, Czech Republic, January 11-13, 1995: Proceedings | Paperback | | 978-0-387-58907-7 | 1995 | " |
| Finite Model Theory and Its Applications | Gebunden | | 978-3-540-00428-8 | 2007 | Erich Grädel · Phokion G. Kolaitis · Leonid Libkin · Maarten Marx · Joel Spencer · Yde Venema · Scott Weinstein |
| Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, ... Notes in Computer Science, Band 2529) | Taschenbuch | | 978-3-540-00141-6 | 2009 | Doron A. Peled |
| Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. ... | " | | 978-3-540-20101-4 | 2008 | Andrei Voronkov |
| Reasoning About Knowledge | Paperback | | 978-0-262-56200-3 | 2003 | Ronald Fagin · Joseph Y. Halpern · Yoram Moses |
| Reasoning About Knowledge | Hardcover | | 978-0-262-06162-9 | 1995 | Ronald Fagin · Joseph Y. Halpern · Yoram Moses |