Deduktionssysteme Automatisierung des logischen Denkens

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Bläsius, Karl Hans (HerausgeberIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	München u.a. Oldenbourg 1992
Ausgabe:	2., völlig überarb. und erw. Aufl.
Schlagworte:	Künstliche Intelligenz > Artificial intelligence > Automatic theorem proving > Logik > Deduktion > Logisches Denken > Deduktionssystem > Automatisches Beweisverfahren > Aufsatzsammlung
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!