Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
paramodulation
Papers
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-2020 easychair.org. All rights reserved.
