Foundations of a theorem prover for functional and mathematical uses

  1. Leach, J.
  2. Nieva, S.
Revista:
Journal of Applied Non-Classical Logics

ISSN: 1958-5780,  1166-3081

Año de publicación: 1993

Volumen: 3

Número: 1

Páginas: 7-38

Tipo: Artículo

DOI: 10.1080/11663081.1993.10510794 GOOGLE SCHOLAR
Fuente de los datos: Scopus