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

M.G.J. Franssen

Onderzoeksoutput: Boek/rapportRapportAcademic

Originele taal-2Engels
Plaats van productieonbekend
UitgeverijCapaciteitsgroep Wiskunde
Aantal pagina's35
StatusGepubliceerd - 1997

Publicatie series

NaamMemorandum COSOR
Volume97/15

Citeer dit

Franssen, M. G. J. (1997). (P-: A pure type system for first order loginc with automated theorem proving. (Memorandum COSOR; Vol. 97/15). onbekend: Capaciteitsgroep Wiskunde.