Reference : LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/40835
LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners
English
Wisniewski, Max [Freie Universität Berlin]
Steen, Alexander mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Benzmüller, Christoph mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Jun-2015
Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings
Kerber, Manfred
Carette, Jacques
Kaliszyk, Cezary
Rabe, Florian
Sorge, Volker
Springer
LNCS, Vol. 9150
325--330
Yes
No
International
Intelligent Computer Mathematics. CICM 2015
July 13-17, 2015
Washington D.C.
USA
[en] Datastructures ; Automated Reasoning ; LEO Prover ; Higher Order Logic ; Agents
Researchers
http://hdl.handle.net/10993/40835
10.1007/978-3-319-20615-8_22

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
C45.pdfAuthor preprint398.1 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.