| 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: Inteligencia artificial , Tipo = Sección de libro |
Ejemplares
| Estado |
|---|
| ningún ejemplar |
