(P-: A pure type system for first oreder loginc with automated theorem proving

M.G.J. Franssen

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Originele taal-2	Engels
Plaats van productie	Eindhoven
Uitgeverij	Capaciteitsgroep Informatica
Aantal pagina's	35
Status	Gepubliceerd - 1997

Naam	Computing Science Report
Volume	97/15

Citeer dit