Algebraic Approaches to Automated Theorem Proving: Unterschied zwischen den Versionen

Aus madipedia
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.

Zusammenfassung

Auszeichnungen

Kontext

Literatur

Links