Foundations of a theorem prover for functional and mathematical uses
ISSN: 1958-5780, 1166-3081
Year of publication: 1993
Volume: 3
Issue: 1
Pages: 7-38
Type: Article
ISSN: 1958-5780, 1166-3081
Year of publication: 1993
Volume: 3
Issue: 1
Pages: 7-38
Type: Article