0
Your cart

Your cart is empty

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

Showing 1 - 1 of 1 matches in All Departments

Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015,... Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Paperback, 1st ed. 2015)
Amy P. Felty, Aart Middeldorp
R3,593 Discovery Miles 35 930 Ships in 10 - 15 working days

This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015. The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Microsoft Xbox Series X Console (1TB…
R16,499 Discovery Miles 164 990
Alcolin Cold Glue (125ml)
R46 Discovery Miles 460
Shield Anti Freeze/Summer Cooolant 96…
R86 Discovery Miles 860
Poster Girl
Zara Larsson CD R154 Discovery Miles 1 540
Multi-Functional Bamboo Standing Laptop…
R595 R289 Discovery Miles 2 890
Jumbo Puzzle Mates Puzzle & Roll Storage…
 (4)
R699 R356 Discovery Miles 3 560
An Introduction To Scholarship…
Cheryl Siewierski Paperback  (2)
R480 R99 Discovery Miles 990
Marltons Dog Blanket (100 x 100cm)
R99 R46 Discovery Miles 460
Star Wars Death Star 1000 Piece Jigsaw…
Ridley's Games R550 R149 Discovery Miles 1 490
Teenage Mutant Ninja Turtles: Out of the…
Megan Fox, Stephen Amell, … Blu-ray disc R48 Discovery Miles 480

 

Partners