Automation of Reasoning: Classical Papers on Computational Logic 1957–1966 (Symbolic Computation)
Full Title: | Automation of Reasoning: Classical Papers on Computational Logic 1957–1966 (Symbolic Computation) |
---|---|
ISBN: | 3642819540 |
ISBN13: | 9783642819544 |
List Price: | USD $159.00 |
Authors: |
J. Siekmann |