The design of the CADE-13 ATP system competition
From MaRDI portal
Publication:4647509
DOI10.1007/3-540-61511-3_76zbMath1412.68263MaRDI QIDQ4647509
Christian Suttner, Geoff Sutcliffe
Publication date: 15 January 2019
Published in: Automated Deduction — Cade-13 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-61511-3_76
Related Items
Uses Software
Cites Work