Algebraic Approaches to Automated Theorem Proving: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
(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…“) |
(kein Unterschied)
|
Version vom 8. November 2016, 10:00 Uhr
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.