Grundlagen des maschinellen Beweisens eine Einführung für Informatiker und Mathematiker

Bibliographische Detailangaben

Hauptverfasser:	Hofbauer, Dieter (VerfasserIn), Kutsche, Ralf-Detlef 1955- (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	Braunschweig u.a. Vieweg 1989
Schlagworte:	Mathematik Informatik Automatisches Beweisverfahren Logik Einführung
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!