Automated deduction -- CADE 26. 26th international conference on automated deduction, Gothenburg, Sweden, August 6--11, 2017. Proceedings

DOI10.1007/978-3-319-63046-5zbMath1369.68037OpenAlexW2735855164MaRDI QIDQ2364109

No author found.

Publication date: 17 July 2017

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-63046-5

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mechanization of proofs and logical operations (03B35) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Related Items (2)

Solving quantifier-free first-order constraints over finite sets and binary relations ⋮ Formally verifying the solution to the Boolean Pythagorean triples problem

This page was built for publication: Automated deduction -- CADE 26. 26th international conference on automated deduction, Gothenburg, Sweden, August 6--11, 2017. Proceedings