Handbook of Practical Logic and Automated Reasoning
by John Harrison | Apr 13, 2009
Get it as soon as Tue, Jan 11
FREE Shipping by Amazon
Only 5 left in stock - order soon.
Resolution Proof Systems: An Algebraic Theory (Automated Reasoning Series, 4)
by Z. Stachniak | Apr 30, 1996
FREE Shipping by Amazon
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II (Lecture Notes in Computer Science Book 12167)
by Nicolas Peltier and Viorica Sofronie-Stokkermans | Jun 29, 2020
Available instantly
Automated Reasoning: Introduction and Applications
by Larry Wos, Ross Overbeek, et al. | Feb 1, 1984
Get it as soon as Mon, Jan 10
FREE Shipping by Amazon
Only 1 left in stock - order soon.
Handbook of Automated Reasoning (Volume II)
by Alan J.A. Robinson and Andrei Voronkov | Jul 5, 2001
Get it as soon as Mon, Jan 10
FREE Shipping by Amazon
Only 1 left in stock - order soon.
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, ... Notes in Computer Science Book 10900)
by Didier Galmiche, Stephan Schulz, et al. | Jul 6, 2018
Available instantly
Handbook of Automated Reasoning, Vol. 1 (Volume 1)
by J. Alan Robinson and Andrei Voronkov | Jul 20, 2001
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings (Lecture Notes in Computer Science, 1227)
by Didier Galmiche | Apr 29, 1997
Get it as soon as Mon, Jan 10
FREE Shipping on orders over $25 shipped by Amazon
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, ... (Lecture Notes in Computer Science, 2381)
by Uwe Egly and Christian G. Fernmüller | Jul 17, 2002
Get it as soon as Mon, Jan 10
FREE Shipping on orders over $25 shipped by Amazon
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings (Lecture Notes in Computer Science Book 9706)
Part of: Lecture Notes in Computer Science (513 Books) | by Nicola Olivetti and Ashish Tiwari | Jun 13, 2016
Available instantly
Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings (Lecture Notes in Computer Science, 1705)
by Harald Ganzinger, David McAllester, et al. | Aug 25, 1999
Get it Tue, Jan 11 - Fri, Jan 14
FREE Shipping
Only 1 left in stock - order soon.
Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings (Lecture Notes in Computer Science, 11714)
by Serenella Cerrito and Andrei Popescu | Aug 14, 2019
Get it as soon as Wed, Jan 12
FREE Shipping by Amazon
Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada (Lecture Notes in Computer Science, 693)
by Peter E. Lauer | Jun 16, 1993
Get it as soon as Mon, Jan 10
FREE Shipping on orders over $25 shipped by Amazon
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I (Lecture Notes in Computer Science Book 12166)
by Nicolas Peltier and Viorica Sofronie-Stokkermans | Jun 30, 2020
Available instantly
Get it as soon as Mon, Jan 10
FREE Shipping on orders over $25 shipped by Amazon
Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, ... (Lecture Notes in Computer Science, 10501)
by Renate A. Schmidt and Cláudia Nalon | Dec 20, 2017
Get it as soon as Thu, Jan 13
FREE Shipping on orders over $25 shipped by Amazon
