Zu den logischen Grundlagen von Beweisprozeduren

Bibliographische Detailangaben

1. Verfasser:	Bergmann, Eberhard (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Berlin 1973
Schriftenreihe:	Bericht / Technische Universität Berlin, Fachbereich 20 - Kybernetik 73,20
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!