Algebraic Approaches to Automated Theorem Proving
Version vom 8. November 2016, 10:00 Uhr von Csguenther (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „<!-- Dissertationen grundsätzlich mit der folgenden Vorlage "diss" erstellen! --> <!-- Falls Sie weitere Angaben machen möchten, dann bitte im darauf folgend…“)
Algebraic Approaches to Automated Theorem Proving (1988): Algebraic Approaches to Automated Theorem Proving. Dissertation, Johannes Kepler Universität Linz.
Betreut durch Bruno Buchberger und Günter Franz Pilz.