Foundations of a theorem prover for functional and...

Journal of Applied Non-Classical Logics 1993 / 01 Vol. 3; Iss. 1

Foundations of a theorem prover for functional and mathematical uses

Leach, Javier, Nieva, Susana
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
3
Language:
english
Journal:
Journal of Applied Non-Classical Logics
DOI:
10.1080/11663081.1993.10510794
Date:
January, 1993
File:
PDF, 1.40 MB
english, 1993
Conversion to is in progress
Conversion to is failed