Biblioteca de la Universidad Complutense de Madrid

Consultar por Autor

Subir un nivel
Exportar como [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Número de eprints: 1.

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

Esta lista fue generada el Fri Dec 9 02:45:15 2016 CET.