Mizar verification of generic algebraic algorithms
By: Christoph Schwarzweller
Contributors: Universität Tübingen
Published: 1997
Language: eng
Number of pages: 164
Notes: Thesis (doctoral)--Eberhard-Karls-Universität zu Tübingen, 1997.