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

M.G.J. Franssen

Onderzoeksoutput: Boek/rapport › Rapport › Academic

104 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

Toegang tot document

  • 9716658Definitieve gepubliceerde versie, 984 KB

    Citeer dit