Automated Deduction – CADE-20
From MaRDI portal
Publication:5394627
DOI10.1007/11532231zbMath1135.03325MaRDI QIDQ5394627
Peter Baumgartner, Cesare Tinelli
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
DB lookup for MSC labels failed