Aviso: Por labores de mantenimiento y mejora del repositorio, el martes día 1 de Julio, Docta Complutense no estará operativo entre las 9 y las 14 horas. Disculpen las molestias.
 

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

Thumbnail Image

Official URL

http://dl.acm.org/citation.cfm?id=758070
 http://link.springer.com/chapter/10.1007%2FBFb0013094#

Full text at PDC

Publication date

1992

Authors

Advisors (or tutors)

Editors

Journal Title

Journal ISSN

Volume Title

Publisher

Springer Verlag
Citations
Google Scholar
Exportar
DC QDC MarcXML RDF MODS METS ORE-ATOM

URI

https://hdl.handle.net/20.500.14352/60589

Citation

Abstract

Research Projects

Organizational Units

Journal Issue

Description

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

UCM subjects

Inteligencia artificial (Informática), Lenguajes de programación

Unesco subjects

1203.04 Inteligencia Artificial

Keywords

Collections

Secciones de libros