HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:paramodulation

Papers
lazyCoP 0.1
Michael Rawson and Giles Reger
EasyChair Preprint no. 3926
Leo-III Version 1.1 (System description)
Christoph Benzmüller, Alexander Steen and Max Wisniewski
In:IWIL Workshop and LPAR Short Presentations
Metis-based Paramodulation Tactic for HOL Light
Michael Färber and Cezary Kaliszyk
In:GCAI 2015. Global Conference on Artificial Intelligence
Copyright © 2012-2022 easychair.org. All rights reserved.