A proof-centric approach to mathematical assistants (2005)

Cached

Download Links

by Lucas Dixon , Jacques Fleuriot
Venue:Journal of Applied Logic: Special Issue on Mathematics Assistance Systems
Citations:5 - 1 self