Foundations of a theorem prover for functional and mathematical uses

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

ISSN: 1958-5780,  1166-3081

Year of publication: 1993

Volume: 3

Issue: 1

Pages: 7-38

Type: Article

DOI: 10.1080/11663081.1993.10510794 GOOGLE SCHOLAR
Data source: Scopus