A language for resolution-oriented theorem provers

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Bergmann, Eberhard (VerfasserIn)
Weitere Verfasser: Böhringer, Bernhard (VerfasserIn), Grude, Ulrich (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin Univ.-Bibliothek d. Techn. Univ. 1976
Schriftenreihe:Bericht / Technische Universität, Berlin, Fachbereich 20: Kybernetik 76,02
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:46 Bl.