De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

Automation of Reasoning

- Classical Papers on Computational Logic 1957-1966

Bag om 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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783642819544
  • Indbinding:
  • Paperback
  • Sideantal:
  • 528
  • Udgivet:
  • 10. januar 2012
  • Udgave:
  • 11983
  • Størrelse:
  • 244x170x28 mm.
  • Vægt:
  • 927 g.
Leveringstid: 8-11 hverdage
Forventet levering: 20. november 2024

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



Find lignende bøger
Bogen Automation of Reasoning findes i følgende kategorier: