Deduktionssysteme : Automatisierung des logischen Denkens

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 1987
Schlagworte:
Künstliche Intelligenz > Artificial intelligence > Automatic theorem proving > Logik > Logisches Denken > Deduktionssystem > Deduktion > Automatisches Beweisverfahren > Aufsatzsammlung
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:VI, 179 S.
Ill.
ISBN:3486205099
3-486-20509-9