Deduktion Automatisierung der Logik

Gespeichert in:

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!