Critical Agents Supporting Interactive Theorem Proving (1999)

Cached

Download Links

by Christoph Benzmuller , Volker Sorge
Venue:PROC. OF EPIA-99, LNAI 1695
Citations:14 - 12 self