KoMeT
From MaRDI portal
Publication:5210812
DOI10.1007/3-540-58156-1_60zbMath1433.68535MaRDI QIDQ5210812
Uwe Egly, Wolfgang Bibel, Stefan Brüning, Thomas Rath
Publication date: 21 January 2020
Published in: Automated Deduction — CADE-12 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-58156-1_60
68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)
Related Items
Prolog technology for default reasoning: proof theory and compilation techniques, IeanCOP: lean connection-based theorem proving, A uniform procedure for converting matrix proofs into sequent-style systems
Uses Software