Gør som tusindvis af andre bogelskere
Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.
Ved tilmelding accepterer du vores persondatapolitik.Du kan altid afmelde dig igen.
Automation of Reasoning - Bog
- 2: Classical Papers on Computational Logic 1967-1970
indgår i Symbolic Computation serien
- Indbinding:
- Paperback
- Sideantal:
- 637
- Udgivet:
- 9. februar 2012
- Udgave:
- 11983
- Størrelse:
- 244x170x33 mm.
- Vægt:
- 1114 g.
- 8-11 hverdage.
- 5. december 2024
Normalpris
-
BLACK NOVEMBER
Medlemspris
Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.
Herefter fra 79 kr./md. Ingen binding.
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
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:
Du kan altid afmelde dig igen.
© 2024 Tales.dk Esromgade 15, 3. | 2200 København N | Danmark | CVR: DK43351621
