Flexible Re-enactment of Proofs (1997)

Cached

Download Links

by Matthias Fuchs , Fachbereich Informatik
Venue:In Proc. 8th Portuguese Conference on Artificial Intelligence (EPIA-97), LNAI 1323
Citations:3 - 3 self