System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving (1999)

Cached

Download Links

by Andreas Franke , Michael Kohlhase
Citations:36 - 15 self