Automated deduction -- CADE-23. 23rd international conference on automated deduction, Wrocław, Poland, July 31 -- August 5, 2011. Proceedings

DOI10.1007/978-3-642-22438-6zbMath1218.68006OpenAlexW1590111213WikidataQ117287255 ScholiaQ117287255MaRDI QIDQ555523

No author found.

Publication date: 22 July 2011

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

Full work available at URL: https://doi.org/10.1007/978-3-642-22438-6

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

SYMMETRIES IN MODAL LOGICS, Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)

Uses Software

• z3