Search results for Deduktionssysteme (German Edition)
Stock Image
Deduktionssysteme
Seller: Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, Germany
Seller rating 5 out of 5 stars
04. Condition: 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. Seller Inventory # 16201