| Título: | MIZ-PR: A theorem prover for polymorphic and recursive functions |
| Autores: | Leach Albert, Javier ; Nieva Soto, Susana |
| Tipo de documento: | texto impreso |
| Editorial: | Springer Verlag, 1992 |
| Palabras clave: | Estado = Publicado , Materia = Ciencias: Informática: Lenguajes de programación , Tipo = Artículo |
Ejemplares
| Estado |
|---|
| ningún ejemplar |
