Foundations of a theorem prover for functional and mathematical uses
ISSN: 1958-5780, 1166-3081
Any de publicació: 1993
Volum: 3
Número: 1
Pàgines: 7-38
Tipus: Article
ISSN: 1958-5780, 1166-3081
Any de publicació: 1993
Volum: 3
Número: 1
Pàgines: 7-38
Tipus: Article