Deduktionssysteme Automatisierung des logischen Denkens; mit 8 Tab.

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Bläsius, Karl Hans (HerausgeberIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	München, Wien Oldenbourg 1987
Schlagworte:	Automatic theorem proving > Deduktionssystem
Online Zugang:	Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!