Leach Albert, JavierNieva Soto, SusanaVoronkov, Andrei2023-06-202023-06-2019923-540-55727-Xhttps://hdl.handle.net/20.500.14352/60589International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 ProceedingsMIZ-PR: A Theorem Prover for Polymorphic and Recursive Functionsbook parthttp://dl.acm.org/citation.cfm?id=758070http://link.springer.com/chapter/10.1007%2FBFb0013094#http://dl.acm.org/dl.cfm?CFID=219986691&CFTOKEN=59343438metadata only access004.8Inteligencia artificial (Informática)Lenguajes de programación1203.04 Inteligencia Artificial