Filter

Showing 481–496 of 3296 results

-79%
Add to Wishlist
+
 Quick View

Trending

Automated Deduction – CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 – 17, 1997, Proceedings eBook

eText ISBN: 9783540691402 Original price was: $109.00.Current price is: $23.00.
-77%
Add to Wishlist
+
 Quick View

Trending

Automated Deduction – CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings eBook

eText ISBN: 9783540451013 Original price was: $129.00.Current price is: $30.00.
-77%
Add to Wishlist
+
 Quick View

Trending

Automated Deduction – CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings eBook

eText ISBN: 9783540456209 Original price was: $129.00.Current price is: $30.00.
-82%
Add to Wishlist
+
 Quick View

Trending

Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings eBook

eText ISBN: 9783319630465 Original price was: $89.00.Current price is: $16.00.
-83%
Add to Wishlist
+
 Quick View

2023

Automated Machine Learning and Meta-Learning for Multimedia eBook

eText ISBN: 9783030881320 Original price was: $149.00.Current price is: $26.00.
-74%
Add to Wishlist
+
 Quick View

Trending

Automated Machine Learning for Business eBook

eText ISBN: 9780190941680 Original price was: $30.99.Current price is: $8.00.
-82%
Add to Wishlist
+
 Quick View

Trending

Automated Planning: Theory & Practice eBook

eText ISBN: 9781558608566 Original price was: $89.95.Current price is: $16.00.
-80%
Add to Wishlist
+
 Quick View

2023

Automated Reasoning and Mathematics: Essays in Memory of William W. McCune eBook

eText ISBN: 9783642366758 Original price was: $49.99.Current price is: $10.00.
-82%
Add to Wishlist
+
 Quick View

Trending

Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings eBook

eText ISBN: 9783642405372 Original price was: $54.99.Current price is: $10.00.
-78%
Add to Wishlist
+
 Quick View

Trending

Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings eBook

eText ISBN: 9783030290269 Original price was: $89.99.Current price is: $20.00.
-80%
Add to Wishlist
+
 Quick View

Trending

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I eBook

eText ISBN: 9783030510749 Original price was: $89.00.Current price is: $18.00.
-77%
Add to Wishlist
+
 Quick View

Trending

Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings eBook

eText ISBN: 9783540710707 Original price was: $129.00.Current price is: $30.00.
-80%
Add to Wishlist
+
 Quick View

2023

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings eBook

eText ISBN: 9783642142031 Original price was: $99.00.Current price is: $20.00.
-78%
Add to Wishlist
+
 Quick View

Trending

Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings eBook

eText ISBN: 9783319085876 Original price was: $89.99.Current price is: $20.00.
-76%
Add to Wishlist
+
 Quick View

Trending

Automated Theorem Proving: Theory and Practice eBook

eText ISBN: 9781461300892 Original price was: $139.00.Current price is: $33.00.
-77%
Add to Wishlist
+
 Quick View

Trending

Automated Theory Formation in Pure Mathematics eBook

eText ISBN: 9781447101475 Original price was: $109.00.Current price is: $25.00.