Integrating Hol-Casl into the Development Graph Manager (0)

Cached

Download Links

by Serge Autexier , Till Mossakowski
Venue:In A. Armando (Ed.) Frontiers of Combining Systems (FroCoS '02), Santa Margherita Ligure, Italy, Springer LNAI
Citations:18 - 13 self