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

M.G.J. Franssen

Research output: Book/Report › Report › Academic

Original languageEnglish
Place of Publicationonbekend
PublisherCapaciteitsgroep Wiskunde
Number of pages35
Publication statusPublished - 1997

Publication series

NameMemorandum COSOR
Volume97/15

Cite this