Title: Towards mechanized mathematical assistants
First published: 2007
Subjects: Algebra, Congresses, Data processing, Knowledge management, Logic, Symbolic and mathematical, Mathematical analysis, Symbolic and mathematical Logic, Algebra, data processing