$\lambda {\rm P}-$ : a pure type system for first order logic with automated theorum proving

M.G.J. Franssen

Onderzoeksoutput: Boek/rapportRapportAcademic

72 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's35
StatusGepubliceerd - 1997

Publicatie series

NaamComputing science reports
Volume9715
ISSN van geprinte versie0926-4515

Citeer dit