Algebraic Approaches to Automated Theorem Proving

Aus madipedia
Version vom 8. November 2016, 10:02 Uhr von Csguenther (Diskussion | Beiträge)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
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“