Universidad Complutense de Madrid
E-Prints Complutense

MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions

Impacto

Descargas

Último año



Leach Albert, Javier y Nieva Soto, Susana (1992) MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions. In LPAR '92 Proceedings of the International Conference on Logic Programming and Automated Reasoning. Lecture Notes in Computer Science (624). Springer Verlag , New York, pp. 481-483. ISBN 3-540-55727-X

URL Oficial: http://dl.acm.org/citation.cfm?id=758070






Tipo de documento:Sección de libro
Información Adicional:

International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings

Materias:Ciencias > Informática > Inteligencia artificial
Código ID:17328
Depositado:05 Dic 2012 09:28
Última Modificación:05 Dic 2012 09:28

Descargas en el último año

Sólo personal del repositorio: página de control del artículo