Author:Uwe Waldmann
Keyphrasesautomatic theorem provers, completeness, first-order logic, higher-order logic, Isabelle/HOL, proof assistant, prover, resolution, Satisfiability Modulo Theories (SMT), superposition calculus. |
| |||||
| |||||
| Copyright © 2012-2024 easychair.org. All rights reserved. |