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

M.G.J. Franssen

Onderzoeksoutput: Boek/rapport › Rapport › Academic

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

Publicatie series

NaamMemorandum COSOR
Volume97/15

Citeer dit