Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
1.168,95 kr.

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

Forlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Indbinding:
Paperback

Sideantal:
528

Udgivet:
10. januar 2012

Udgave:
11983

Størrelse:
244x170x28 mm.

Vægt:
927 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 16. januar 2025

Forlænget returret til d. 31. januar 2025

Kan ikke leveres inden jul.
Køb nu og print et gavebevis

Normalpris

1.168,95 kr. + Fragt
~~1.168,95 kr.~~

Medlemspris

1.118,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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

Andre købte også..

Find lignende bøger

Bogen Automation of Reasoning findes i følgende kategorier:

Business og læring > Computer og IT

Automation of Reasoning - Bog

Beskrivelse af Automation of Reasoning

Brugerbedømmelser af Automation of Reasoning

Gør som tusindvis af andre bogelskere