The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

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

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings

Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings

Barnes and Noble
Rules and Reasoning: 6th International Joint Conference on Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, Proceedings

Rules and Reasoning: 6th International Joint Conference on Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, Proceedings

Barnes and Noble
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings

Barnes and Noble
Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings

Barnes and Noble
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Barnes and Noble
Rules and Reasoning: International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings

Rules and Reasoning: International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings

Barnes and Noble
Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings / Edition 1

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings / Edition 1

Barnes and Noble
Rules and Reasoning: 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, Proceedings

Rules and Reasoning: 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, Proceedings

Barnes and Noble
Reasoning Web. Reasoning and the Web in the Big Data Era: 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings

Reasoning Web. Reasoning and the Web in the Big Data Era: 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings

Barnes and Noble
Logics in AI: European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings / Edition 1

Logics in AI: European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings / Edition 1

Barnes and Noble
Case-Based Reasoning Research and Development: 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings

Case-Based Reasoning Research and Development: 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings

Barnes and Noble
Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings / Edition 1

Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings / Edition 1

Barnes and Noble
Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings

Barnes and Noble
Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings / Edition 1

Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings / Edition 1

Barnes and Noble
Web Reasoning and Rule Systems: 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011, Proceedings

Web Reasoning and Rule Systems: 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011, Proceedings

Barnes and Noble
Fundamentals of Logic and Computation: With Practical Automated Reasoning Verification

Fundamentals of Logic and Computation: With Practical Automated Reasoning Verification

Barnes and Noble
Powered by Adeptmind