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. Automated Deduction - CADE-21

Automated Deduction - CADE-21

- 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

enthalten in Lecture Notes in Artificial Intelligence-Reihe

enthalten in Lecture Notes in Computer Science-Reihe

Automated Deduction - CADE-21
Über Automated Deduction - CADE-21

A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field of automated deduction right now. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783540735946
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 524
  • Veröffentlicht:
  • 5. Juli 2007
  • Ausgabe:
  • 2007
  • Abmessungen:
  • 234x156x27 mm.
  • Gewicht:
  • 813 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Beschreibung von Automated Deduction - CADE-21

A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field of automated deduction right now. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.

Kund*innenbewertungen von Automated Deduction - CADE-21



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Automated Deduction - CADE-21 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.