Deduktionssysteme Automatisierung des logischen Denkens

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Bläsius, Karl Hans (HerausgeberIn), Bürckert, Hans-Jürgen (HerausgeberIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	München, Wien Oldenbourg 1992
Ausgabe:	2., völlig überarbeitete und erweiterte Auflage
Schlagworte:	Logic, symbolic and mathematical > Data processing > Automatic theorem proving > Deduktionssystem
Online Zugang:	Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Literaturangaben
Beschreibung:	VIII, 291 Seiten Illustrationen, Diagramme 24 cm
ISBN:	3486220330 3-486-22033-0