Reference : The Leo-III Project
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/42333
The Leo-III Project
English
Wisniewski, Max [> >]
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)]
2014
Proceedings of the Joint Automated Reasoning Workshop and Deduktionstreffen: As part of the Vienna Summer of Logic – IJCAR 23-24 July 2014
Bolotov, Alexander
Kerber, Manfred
38
Yes
No
International
Joint Automated Reasoning Workshop and Deduktionstreffen
23rd-24th July 2014
Vienna
Austria
[en] LEO Prover ; Automated Reasoning ; Proof Transformation ; Higher Order Logic
Researchers ; Students
http://hdl.handle.net/10993/42333
http://arw.csc.liv.ac.uk/2014.html

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
ARW2014proceedings.pdfPublisher postprint648.58 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.