The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics

• Autores: Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia, Silvio Ranise
• Localización: Journal of symbolic computation, ISSN 0747-7171, Vol. 32, Nº 4, 2001, págs. 305-332
• Idioma: inglés
• Texto completo no disponible (Saber más ...)