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

Ano de publicación: 1993

Volume: 3

Número: 1

Páxinas: 7-38

Tipo: Artigo

DOI: 10.1080/11663081.1993.10510794 GOOGLE SCHOLAR
Fonte de datos: Scopus