2.341
Bearbeitungen
Algebraic Approaches to Automated Theorem Proving: Unterschied zwischen den Versionen
Algebraic Approaches to Automated Theorem Proving (Quelltext anzeigen)
Version vom 8. November 2016, 10:02 Uhr
, 8. November 2016keine Bearbeitungszusammenfassung
| [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…“) |
KKeine Bearbeitungszusammenfassung |
||
| 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 | ||