Foundations of a theorem prover for functional and mathematical uses
ISSN: 1958-5780, 1166-3081
Argitalpen urtea: 1993
Alea: 3
Zenbakia: 1
Orrialdeak: 7-38
Mota: Artikulua
ISSN: 1958-5780, 1166-3081
Argitalpen urtea: 1993
Alea: 3
Zenbakia: 1
Orrialdeak: 7-38
Mota: Artikulua