Keywords: Higher OrderLogic
2014
[1] The Leo-III Project (Max Wisniewski, Alexander Steen, Christoph Benzmüller), In Joint Automated Reasoning Workshop and Deduktionstreffen (Alexander Bolotov, Manfred Kerber, eds.), pp. 38, 2014. [bibtex] [pdf]
Powered by bibtexbrowser