mega: Towards a mathematical assistant (1997)

Cached

Download Links

by Christoph Benzmuller , Lassaad Cheikhrouhou , Detlef Fehrer , Armin Fiedler , Xiaorong Huang , Manfred Kerber , Michael Kohlhase , Karsten Konrad , Andreas Meier , Erica Melis , Wolf Schaarschmidt , Jorg Siekmann , Volker Sorge
Venue:Proceedings of the 14th Conference on Automated Deduction, number 1249 in LNAI
Citations:26 - 15 self