Automated deduction -- CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27--30, 2019. Proceedings

DOI10.1007/978-3-030-29436-6zbMath1428.68018OpenAlexW3126578424MaRDI QIDQ2286167

No author found.

Publication date: 10 January 2020

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

Full work available at URL: https://doi.org/10.1007/978-3-030-29436-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) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (6)

Vampire with a brain is a good ITP hammer ⋮ The CADE-27 Automated theorem proving System Competition – CASC-27 ⋮ Neural precedence recommender ⋮ Improving ENIGMA-style clause selection while learning from history ⋮ Layered clause selection for theory reasoning (short paper) ⋮ A posthumous contribution by Larry Wos: excerpts from an unpublished column

This page was built for publication: Automated deduction -- CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27--30, 2019. Proceedings