Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Computer & IT
  5. Automation of Reasoning

Automation of Reasoning

- 2: Classical Papers on Computational Logic 1967-1970

enthalten in Symbolic Computation-Reihe

Automation of Reasoning Sie sparen 10% des UVP sparen 10%
Über 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.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783642819575
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 637
  • Veröffentlicht:
  • 9. Februar 2012
  • Ausgabe:
  • 11983
  • Abmessungen:
  • 244x170x33 mm.
  • Gewicht:
  • 1114 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.
Verlängerte Rückgabefrist bis 31. Januar 2025
  •  

    Keine Lieferung vor Weihnachten möglich.
    Kaufen Sie jetzt und drucken Sie einen Gutschein aus

Beschreibung von 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.

Kund*innenbewertungen von Automation of Reasoning



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Automation of Reasoning ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.