Foundations of a theorem prover for functional and mathematical uses
ISSN: 1958-5780, 1166-3081
Datum der Publikation: 1993
Ausgabe: 3
Nummer: 1
Seiten: 7-38
Art: Artikel
ISSN: 1958-5780, 1166-3081
Datum der Publikation: 1993
Ausgabe: 3
Nummer: 1
Seiten: 7-38
Art: Artikel