|
Books > Computing & IT > Applications of computing > Artificial intelligence
|
Buy Now
Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings (Paperback, 1st ed. 2021)
Loot Price: R1,457
Discovery Miles 14 570
|
|
|
Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings (Paperback, 1st ed. 2021)
Series: Lecture Notes in Artificial Intelligence, 12699
Expected to ship within 10 - 15 working days
|
This open access book constitutes the proceeding of the 28th
International Conference on Automated Deduction, CADE 28, held
virtually in July 2021. The 29 full papers and 7 system
descriptions presented together with 2 invited papers were
carefully reviewed and selected from 76 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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
