Ein vereinfachtes "Theorem Proofing" Verfahren für die elementare Prädikatenlogik

Literaturangaben

Bibliographische Detailangaben

1. Verfasser:	Scheidig, Helge (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	München TUM, Abt. Mathematik 1968
Schriftenreihe:	Bericht / Technische Universität München, Abteilung Mathematik 6813
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!