ISBN 9783642819544 books & textbook

Automation of Reasoning: Classical Papers on Computational Logic 1957–1966 (Artificial Intelligence)

Siekmann, J. Wrightson, G.

Springer /2012-01-10 Paperback / 540 Pages
isbn-10: 3642819540 / isbn-13: 9783642819544