ISBN 3642819575 books & textbook

Automation of Reasoning: 2: Classical Papers on Computational Logic 1967–1970 (Artificial Intelligence)

Siekmann, J. Wrightson, G.

Springer /2012-02-09 Paperback / 630 Pages
isbn-10: 3642819575 / isbn-13: 9783642819575