Spar
Automation of Reasoning
The article by Martin Davis in the first of this series of volumes traces the most influential ideas back to the 'prehistory' of early logical thought showing how these ideas influenced the underlying concepts of most early automatic theorem proving programs.
- Undertittel
- 2: Classical Papers on Computational Logic 1967–1970
- Redaktør
- J. Siekmann, G. Wrightson
- Opplag
- Softcover reprint of the original 1st ed. 1983
- ISBN
- 9783642819575
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 9.2.2012
- Antall sider
- 637
