Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 by J.
125,52 €
The Prehistory and Early History of Automated Deduction. - A Computer Program for Presburger's Algorithm. - Empirical Explorations with the Logic Theory Machine: A Case Study in Heuristics. - Proving a Theorem (as Done by Man, Logician or Machine).
Jetzt bei Ebay:
