Anbieter: Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, Deutschland
Verbandsmitglied: BOEV
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.