Resolution auf Kleinrechnern "Taschenrechner" und 1-Klauseln-Verfahren auf einem Z80-System : [Mit engl. Zsfassung]

Bibliographische Detailangaben

1. Verfasser:	Bast, Heinz (VerfasserIn)
Körperschaft:	Institut für Informatik, Universität Bonn (BerichterstatterIn)
Format:	UnknownFormat
Veröffentlicht:	Bonn Inst., Univ. 1985
Schriftenreihe:	Informatik-Berichte 45
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!