Embedding Deduction Modulo into a Prover
From MaRDI portal
Publication:3586040
DOI10.1007/978-3-642-15205-4_15zbMath1287.68152MaRDI QIDQ3586040
Publication date: 3 September 2010
Published in: Computer Science Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-15205-4_15
Related Items