Foundations of a theorem prover for functional and mathematical uses
ISSN: 1958-5780, 1166-3081
Ano de publicación: 1993
Volume: 3
Número: 1
Páxinas: 7-38
Tipo: Artigo
ISSN: 1958-5780, 1166-3081
Ano de publicación: 1993
Volume: 3
Número: 1
Páxinas: 7-38
Tipo: Artigo