Automated deduction -- CADE 29. 29th international conference on automated deduction, Rome, Italy, July 1--4, 2023. Proceedings

DOI10.1007/978-3-031-38499-8MaRDI QIDQ6090938

Author name not available (Why is that?)

Publication date: 21 November 2023

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

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 (3)

Automated deduction -- CADE 26. 26th international conference on automated deduction, Gothenburg, Sweden, August 6--11, 2017. Proceedings ⋮ Title not available (Why is that?) ⋮ Refinement of parallel algorithms down to LLVM: applied to practically efficient parallel sorting

This page was built for publication: Automated deduction -- CADE 29. 29th international conference on automated deduction, Rome, Italy, July 1--4, 2023. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6090938)