Building and Executing Proof Strategies in a Formal Metatheory (1993)


Download Links

by Istituto Trentino Di Cultura , Alessandro Armando , Alessandro Armando , Alessandro Cimatti , Alessandro Cimatti
Venue:Advances in Artifical Intelligence: Proceedings of the Third Congress of the Italian Association for Artificial Intelligence, IA*AI'93, Volume 728 of Lecture Notes in Computer Science