Knowledge Management of Formal Mathematics and Interactive Theorem Proving (2004)

Cached

Download Links

by Claudio Sacerdoti Coen
Citations:3 - 1 self