Algebraic Approaches to Automated Theorem Proving

Aus Madipedia
Wechseln zu: Navigation, Suche


Bernhard Kutzler (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