[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 5625 || ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System
Carette, Jacques, Dixon, Lucas, Coen, Claudio Sacerdoti, Watt, Stephen M.Volume:
10.1007/97
Year:
2009
Language:
english
DOI:
10.1007/978-3-642-02614-0_13
File:
PDF, 562 KB
english, 2009