Výsledky vyhledávání - Deduction and Theorem Proving|Logic Programming General Terms

Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings Autor Ramanayake, Revantha, Urban, Josef

“… The papers are organized in the following topical sections: tableau calculi; sequent calculi; theorem proving; non-wellfounded proofs…”
Získat plný text

LΩUI: Lovely ΩMEGA User Interface Autor Siekmann, Jörg, Hess, Stephan, Benzmüller, Christoph, Cheikhrouhou, Lassaad, Fiedler, Armin, Horacek, Helmut, Kohlhase, Michael, Konrad, Karsten, Meier, Andreas, Melis, Erica, Pollet, Martin, Sorge, Volker

“…The capabilities of a automated theorem prover's interface are essential for the effective use of (interactive) proof systems. L Ω…”
Získat plný text

Equational unification: Algorithms and complexity with applications to cryptographic protocol analysis Autor Marshall, Andrew M

“…The techniques and tools of unification theory have long been a core component of many areas of automated deduction and logic programming…”
Získat plný text