Automated Deduction – CADE-20
From MaRDI portal
Publication:5394608
DOI10.1007/11532231zbMath1135.68549OpenAlexW2485416161MaRDI QIDQ5394608
Publication date: 1 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11532231
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Computer supported mathematics with \(\Omega\)MEGA ⋮ Crystal: Integrating structured queries into a tactic language ⋮ Herbrand's fundamental theorem in the eyes of Jean van Heijenoort ⋮ PlatΩ: A Mediator between Text-Editors and Proof Assistance Systems
This page was built for publication: Automated Deduction – CADE-20
