Explore
Automated Deduction – CADE 29
0 Ungluers have
Faved this Work
Login to Fave
This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
This book is included in DOAB.
Why read this book? Have your say.
You must be logged in to comment.
Rights Information
Are you the author or publisher of this work? If so, you can claim it as yours by registering as an Unglue.it rights holder.Downloads
This work has been downloaded 17 times via unglue.it ebook links.
- 4 - epub (CC BY) at Unglue.it.
- 9 - pdf (CC BY) at Unglue.it.
Keywords
- artificial intelligence
- automata theory
- automated deduction
- automated reasoning
- automated theorem proving
- boolean functions
- computer algebra
- Computer programming / software development
- Computer science
- Computing & information technology
- constraint solving
- Formal languages
- formal logic
- Logic programming
- Model Checking
- propositional satisfiability
- satisfiability modulo theories
- Software engineering
- software verification
Editions