Deduktionssysteme

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Socher, Rolf (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Mannheim, Leipzig, Wien, Zürich BI-Wiss.-Verl. 1994
Schlagworte:	Predicate calculus > Automatic theorem proving > Einführung > Deduktionssystem
Online Zugang:	Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!