Algebraic Approaches to Automated Theorem Proving

Aus madipedia
Zur Navigation springen Zur Suche springen


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

Abgerufen von „http://madipedia.de/index.php?title=Algebraic_Approaches_to_Automated_Theorem_Proving&oldid=26194“