DMCA

Using Open Mathematical Documents to interface Computer Algebra and Proof Assistant systems

Cached

Download Links

by Vico Pascual , Julio Rubio
Venue:Lecture Notes in Artificial Intelligence
Citations:4 - 3 self