Deduktion Automatisierung der Logik

Bibliographische Detailangaben

Weitere Verfasser:	Bibel, Wolfgang, Hölldobler, Steffen, Neugebauer, Gerd
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	München ˜u.a.œ Oldenbourg 1992
Schriftenreihe:	Handbuch der Informatik [Künstliche Intelligenz] 2
Schlagworte:	Deduktionssystem
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!