Automated Deduction – CADE-19
From MaRDI portal
Publication:5900726
DOI10.1007/b11829zbMath1278.68261OpenAlexW2483160171MaRDI QIDQ5900726
Harald Ganzinger, Jürgen Stuber
Publication date: 20 April 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b11829
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
MPTP 0.2: Design, implementation, and initial experiments ⋮ An automated prover for Zermelo-Fraenkel set theory in Theorema ⋮ Combined reasoning by automated cooperation ⋮ MPTP-motivation, implementation, first experiments ⋮ Making higher-order superposition work ⋮ Making higher-order superposition work
This page was built for publication: Automated Deduction – CADE-19