0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Automated Deduction – CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023,... Automated Deduction – CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings (1st ed. 2023)
Brigitte Pientka, Cesare Tinelli
R1,076 Discovery Miles 10 760 Ships in 12 - 17 working days

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.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Gym Towel & Bag
R95 R78 Discovery Miles 780
White Glo Floss Charcoal Mint
R50 Discovery Miles 500
Elecstor 18W In-Line UPS (Black)
R999 R695 Discovery Miles 6 950
Sudocrem Skin & Baby Care Barrier Cream…
R70 Discovery Miles 700
John C. Maxwell Undated Planner
Paperback R469 R315 Discovery Miles 3 150
Aeno Table Blender - Soupmaker TB1…
R2,299 Discovery Miles 22 990
Bug-A-Salt 3.0 Orange Crush Edition
R999 R749 Discovery Miles 7 490
Kirstenbosch - A Visitor's Guide
Colin Paterson-Jones, John Winter Paperback R160 R125 Discovery Miles 1 250
Bostik Glue Stick (40g)
R52 Discovery Miles 520
- (Subtract)
Ed Sheeran CD R165 R56 Discovery Miles 560

 

Partners