Algebraic Approaches to Automated Theorem Proving
Zur Navigation springen
Zur Suche springen
Die druckbare Version wird nicht mehr unterstützt und kann Darstellungsfehler aufweisen. Bitte aktualisieren Sie Ihre Browser-Lesezeichen und verwenden Sie stattdessen die Standard-Druckfunktion des Browsers.
Bernhard Kutzler (1988): Algebraic Approaches to Automated Theorem Proving. Dissertation, Johannes Kepler Universität Linz.
Betreut durch Bruno Buchberger und Günter Franz Pilz.