Foundations of a theorem prover for functional and mathematical uses

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

ISSN: 1958-5780,  1166-3081

Datum der Publikation: 1993

Ausgabe: 3

Nummer: 1

Seiten: 7-38

Art: Artikel

DOI: 10.1080/11663081.1993.10510794 GOOGLE SCHOLAR
Datenquelle: Scopus