HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:MESON

Publications
Metis-based Paramodulation Tactic for HOL Light
Michael Färber and Cezary Kaliszyk
In:GCAI 2015. Global Conference on Artificial Intelligence
Copyright © 2012-2025 easychair.org. All rights reserved.