Foundations of a theorem prover for functional and mathematical uses

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

ISSN: 1958-5780,  1166-3081

Argitalpen urtea: 1993

Alea: 3

Zenbakia: 1

Orrialdeak: 7-38

Mota: Artikulua

DOI: 10.1080/11663081.1993.10510794 GOOGLE SCHOLAR
Datuen iturria: Scopus