Automated Deduction – CADE-20

DOI10.1007/11532231zbMath1135.03328OpenAlexW2485416161MaRDI QIDQ5394611

Could not fetch data.

Publication date: 1 November 2006

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11532231

Mathematics Subject Classification ID

Could not fetch data.