Algebraic Approaches to Automated Theorem Proving: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
| [gesichtete Version] | [gesichtete Version] |
(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…“) |
K |
||
| Zeile 2: | Zeile 2: | ||
<!-- Falls Sie weitere Angaben machen möchten, dann bitte im darauf folgenden Freitext. --> | <!-- Falls Sie weitere Angaben machen möchten, dann bitte im darauf folgenden Freitext. --> | ||
{{diss | {{diss | ||
| − | | name= | + | | name= Bernhard Kutzler |
| titel = {{PAGENAME}} | | titel = {{PAGENAME}} | ||
| hochschule= Johannes Kepler Universität Linz | | hochschule= Johannes Kepler Universität Linz | ||
Aktuelle Version vom 8. November 2016, 10:02 Uhr
Bernhard Kutzler (1988): Algebraic Approaches to Automated Theorem Proving. Dissertation, Johannes Kepler Universität Linz.
Betreut durch Bruno Buchberger und Günter Franz Pilz.