Automation of Reasoning
- Classical Papers on Computational Logic 1957-1966
indgår i Artificial Intelligence serien
- Indbinding:
- Paperback
- Sideantal:
- 528
- Udgivet:
- 10. januar 2012
- Udgave:
- 11983
- Størrelse:
- 244x170x28 mm.
- Vægt:
- 927 g.
- 8-11 hverdage.
- 16. januar 2025
Normalpris
Abonnementspris
- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
Beskrivelse af Automation of Reasoning
Gelernter finished a computer program to prove simple high school geometry theorems. 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.
Brugerbedømmelser af Automation of Reasoning
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Automation of Reasoning findes i følgende kategorier:
© 2024 Pling BØGER Registered company number: DK43351621