2.341
Bearbeitungen
Änderungen
Algebraic Approaches to Automated Theorem Proving (Quelltext anzeigen)
Version vom 8. November 2016, 10:02 Uhr
, 10:02, 8. Nov. 2016keine Bearbeitungszusammenfassung
<!-- 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= Algebraic Approaches to Automated Theorem Proving
| name= Bernhard Kutzler
| titel = {{PAGENAME}}
| titel = {{PAGENAME}}
| hochschule= Johannes Kepler Universität Linz
| hochschule= Johannes Kepler Universität Linz