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. Lecture Notes in Computer Science, 624 . pp. 481-483. ISSN 0302-9743

URL Oficial: http://link.springer.com/chapter/10.1007%2FBFb0013094#


URLTipo de URL
http://link.springer.com/Editorial




Tipo de documento:Artículo
Materias:Ciencias > Informática > Lenguajes de programación
Código ID:17395
Depositado:12 Dic 2012 09:19
Última Modificación:12 Dic 2012 09:19

Descargas en el último año

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