Siekmann, J. books & textbook
Automation of Reasoning: 2: Classical Papers on Computational Logic 1967–1970 (Artificial Intelligence)
Springer /2012-02-09 Paperback / 630 Pages
isbn-10: 3642819575 / isbn-13: 9783642819575
Automation of Reasoning: Classical Papers on Computational Logic 1957–1966 (Artificial Intelligence)
Springer /2012-01-10 Paperback / 540 Pages
isbn-10: 3642819540 / isbn-13: 9783642819544
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations
Gabbay, Dov M. Hogger, C. J. Robinson, J. A. Siekmann, J.
Clarendon Press /1993-08-05 Hardcover / 534 Pages
isbn-10: 019853745X / isbn-13: 9780198537458
