|
Showing 1 - 1 of
1 matches in All Departments
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.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Poor Things
Emma Stone, Mark Ruffalo, …
DVD
R357
Discovery Miles 3 570
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.