Theorem proving using clausal resolution: from past to present
From MaRDI portal
Publication:2695485
DOI10.1007/978-3-030-89716-1_2MaRDI QIDQ2695485
Publication date: 31 March 2023
Full work available at URL: https://doi.org/10.1007/978-3-030-89716-1_2
68Qxx: Theory of computing
Uses Software