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. Resolution Calculus

Resolution Calculus

von Alexander Leitsch

enthalten in Texts in Theoretical Computer Science. An EATCS Series-Reihe

Resolution Calculus von Alexander Leitsch Sie sparen 12% des UVP sparen 12%
Über Resolution Calculus

The History of the Book In August 1992 the author had the opportunity to give a course on resolution theorem proving at the Summer School for Logic, Language, and Information in Essex. It was the purpose of the course mentioned above to present such new developments of resolution theory.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783642644733
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 300
  • Veröffentlicht:
  • 28. September 2011
  • Ausgabe:
  • 11997
  • Abmessungen:
  • 234x156x16 mm.
  • Gewicht:
  • 482 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Über Alexander Leitsch

Alle Bücher von Alexander Leitsch anzeigen

Beschreibung von Resolution Calculus

The History of the Book In August 1992 the author had the opportunity to give a course on resolution theorem proving at the Summer School for Logic, Language, and Information in Essex. It was the purpose of the course mentioned above to present such new developments of resolution theory.

Kund*innenbewertungen von Resolution Calculus



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Resolution Calculus 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.