Automated reasoning : 9th International Joint Conference, IJCAR 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, july 14-17, 2018, proceedings /

QR Code

Automated reasoning : 9th International Joint Conference, IJCAR 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, july 14-17, 2018, proceedings /

Bibliographic Details
Format:	Book
Published:	c2018.
Online Access:	Ver documento en línea

Similar Items

Automated reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, july 16-19, 2010. Proceedings /
Published: (2010)

Computer aided verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /
Published: (2018)

Automated reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings /
Published: (2012)

Automated reasoning : 7th International Joint Conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, july 19-22, 2014. Proceedings /
Published: (2014)

Automated reasoning : 10th international joint conference, IJCAR 2020, Paris, France, july 1-4, 2020, proceedings /
Published: (2020)

Automated reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, june 27 - July 2, 2016, proceedings /
Published: (2016)

Automated reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, august 12-15, 2008 proceedings /
Published: (2008)

Automated reasoning with analytic tableaux and related methods : 28th international conference, TABLEAUX 2019, London, UK, september 3-5, 2019, proceedings /
Published: (2019)

Case-based reasoning research and development : 26th International Conference, ICCBR 2018, Stockholm, Sweden, july 9-12, 2018, proceedings /
Published: (2018)

Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009, Oslo, Norway, july 6-10, 2009. Proceedings /
Published: (2009)

Automated reasoning with analytic tableaux and related methods : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, july 4-8, 2011. Proceedings /
Published: (2011)

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

Automated reasoning : introduction and applications /
by: Wos, Larry
Published: (1984)

Automated reasoning with analytic tableaux and related methods : 24th international conference, TABLEAUX 2015, Wroclaw, Poland, september 21-24, 2015, proceedings /
Published: (2015)

Automated reasoning with analytic tableaux and related methods : 26th international conference, TABLEAUX 2017, Brasília, Brazil, september 25-28, 2017, proceedings /
Published: (2017)

Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings /
Published: (2017)

Automated reasoning with analytic tableaux and related methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, september 16-19, 2013, proceedings /
Published: (2013)

Automated invention for smart industries : 18th international TRIZ future conference, TFC 2018, Strasbourg, France, october 29-31, 2018, proceedings /
Published: (2018)

Automated reasoning and mathematics : essays in memory of William W. McCune /
Published: (2013)

Automated reasoning for systems biology and medicine /
Published: (2019)

Automated reasoning with analytic tableaux and related methods /
Published: (2017)

Automated deduction - CADE 24 : 24th international conference on automated deduction, Lake Placid, NY, USA, june 9-14, 2013. Proceedings /
Published: (2013)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings /
Published: (2017)

Case-based reasoning research and development : 19th International Conference on Case-Based Reasoning, ICCBR 2011, London, UK, september 12-15, 2011. Proceedings /
Published: (2011)

Cloud computing - cloud 2018 : 11th International Conference, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, june 25-30, 2018, proceedings /
Published: (2018)

Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, october 7-10, 2018, proceedings /
Published: (2018)

Advances in forming, machining and automation : proceedings of AIMTDR 2018.

Case-based reasoning research and development : 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings /
Published: (2010)

Advances in automation : Proceedings of the International Russian Automation Conference, RusAutoCon 2019, September 8-14, 2019, Sochi, Russia.

Automated deduction in geometry : 9th international workshop, ADG 2012, Edinburgh, UK, september 17-19, 2012. Revised selected papers /
Published: (2013)

Blockchain - ICBC 2018 : First International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, june 25-30, 2018, proceedings /
Published: (2018)

Control and automation : International Conference, CA 2009, Held as Part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings /
Published: (2009)

Case-based reasoning research and development : 8th International Conference on Case-Based Reasoning, ICCBR 2009 Seattle, WA, USA, july 20-23, 2009 proceedings /
Published: (2009)

Artificial intelligence and mobile services - AIMS 2018 : 7th International Conference, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, june 25-30, 2018, Proceedings.

Edge computing - EDGE 2018 : Second International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings /
Published: (2018)

Cognitive computing - ICCC 2018 : Second International Conference, held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, proceedings /
Published: (2018)

Automated deduction - CADE 23 : 23rd international conference on automated deduction, Wrocław, Poland, july 31 - August 5, 2011. Proceedings /
Published: (2011)

Augmented cognition: Intelligent technologies : 12th international conference, AC 2018, held as part of HCI international 2018, Las Vegas, NV, USA, july 15-20, 2018, proceedings /
Published: (2018)

Engineering psychology and cognitive ergonomics : 15th International Conference, EPCE 2018 Held as Part of HCI International 2018 Las Vegas, NV, USA, July 15-20, 2018 Proceedings /
Published: (2018)

Automated reasoning for security protocol analysis and issues in the theory of security : joint workshop, ARSPA-WITS 2010, Paphos, Cyprus, march 27-28, 2010. Revised selected papers /
Published: (2010)