MIZ-PR: A theorem prover for polymorphic and recursive functions
ISSN: 1611-3349, 0302-9743
ISBN: 9783540557272
Datum der Publikation: 1992
Ausgabe: 624 LNAI
Seiten: 481-483
Art: Konferenz-Beitrag
ISSN: 1611-3349, 0302-9743
ISBN: 9783540557272
Datum der Publikation: 1992
Ausgabe: 624 LNAI
Seiten: 481-483
Art: Konferenz-Beitrag