Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
---|---|---|---|
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. ... Notes in Computer Science , Band 2796) | 978-3-540-40787-4 (3-540-40787-1) | 2008 | Marta Cialdea Mayer |
Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter | 978-3-540-66012-5 (3-540-66012-7) | 1999 | Hector J. Levesque |
Strutture, logica, linguaggi | 978-88-7192-269-0 (88-7192-269-7) | 2005 | Luigia Carlucci Aiello |