Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Michael Färber
Publications
Metis-based Paramodulation Tactic for HOL Light
Michael Färber
and
Cezary Kaliszyk
In
:
GCAI 2015. Global Conference on Artificial Intelligence
Keyphrases
HOL
,
MESON
,
METIS
,
paramodulation
,
Proof tactics
,
tableaux
.
Copyright © 2012-2024 easychair.org. All rights reserved.