Browse by Author

Number of items: 1.

Leach Albert, Javier and 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

This list was generated on Fri May 24 03:51:34 2013 CEST.

Export as	RSS 2.0 RSS 1.0 Atom