Suchergebnisse für Deduktionssysteme
Beispielbild für diese ISBN
Deduktionssysteme
Anbieter: Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, Deutschland
Verkäuferbewertung 5 von 5 Sternen
04. Zustand: Wie neu. 1994. 186 S., flex.kart. In diesem Buch werden die grundlegenden Konzepte und Methoden des automatischen Beweisens für die klassische Logik erster Stufe ohne Gleichheit dargestellt. Die konsequente Orientierung an abstrakten Inferenzsystemen hat den Vorteil, daß die logische Str Sprache: Deutsch. Artikel-Nr. 16201
Gebraucht kaufen
EUR 7,60
EUR 15,90 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar