De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Automation of Reasoning

Automation of Reasoning

- 2: Classical Papers on Computational Logic 1967-1970

indgår i Symbolic Computation serien

Automation of Reasoning
Bag om 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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783642819575
  • Indbinding:
  • Paperback
  • Sideantal:
  • 637
  • Udgivet:
  • 9. februar 2012
  • Udgave:
  • 11983
  • Størrelse:
  • 244x170x33 mm.
  • Vægt:
  • 1114 g.
  • 8-11 hverdage.
  • 10. december 2024
Forlænget returret til d. 31. 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.

Beskrivelse af 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.

Brugerbedømmelser af Automation of Reasoning



Andre købte også..
Find lignende bøger
Bogen Automation of Reasoning findes i følgende kategorier: