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

Código QR

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

Detalles Bibliográficos
Formato:	Libro
Publicado:	c2008.
Acceso en línea:	Ver documento en línea

Ejemplares similares

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

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

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

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

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 /
Publicado: (2018)

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 /
Publicado: (2014)

Automated reasoning : introduction and applications /
por: Wos, Larry
Publicado: (1984)

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

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

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

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

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

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

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

Automated technology for verification and analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, november 3-7, 2014, proceedings /
Publicado: (2014)

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

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

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

Advances in case-based reasoning : 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008 : proceedings. /
Publicado: (2008)

Automated deduction - cade-25 : 25th international conference on automated deduction, Berlin, Germany, august 1-7, 2015, proceedings /
Publicado: (2015)

Automated deduction - CADE 26 : 26th international conference on automated deduction, Gothenburg, Sweden, august 6-11, 2017, Proceedings /
Publicado: (2017)

Automated deduction - CADE 27 : 27th international conference on automated deduction, Natal, Brazil, august 27-30, 2019, proceedings /
Publicado: (2019)

Conceptual structures: knowledge visualization and reasoning : 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings /
Publicado: (2008)

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

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 /
Publicado: (2010)

Automated technology for verification and analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, october 20-23, 2008. Proceedings /
Publicado: (2008)

Informatics in Control, Automation and Robotics Selected Papers from the International Conference on Informatics in Control, Automation and Robotics 2008 /
Publicado: (2009)

Automated deduction - CADE 22 : 22nd international conference on automated deduction, Montreal, Canada, august 2-7, 2009. Proceedings /
Publicado: (2019)

Automated deduction in geometry : 7th international workshop, ADG 2008, Shanghai, China, september 22-24, 2008. Revised papers /
Publicado: (2011)

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

Food Processing Automation Conference : proceedings, 28-29 June 2008, Providence, Rhode Island
Publicado: (2008)

Automated technology for verification and analysis : 13th International Symposium, ATVA 2015, Shanghai, China, october 12-15, 2015, proceedings /
Publicado: (2015)

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

Case-based reasoning research and development : 27th International Conference, ICCBR 2019, Otzenhausen, Germany, september 8-12, 2019, proceedings /
Publicado: (2019)

Case-based reasoning research and development : 28th International Conference, ICCBR 2020, Salamanca, Spain, june 8-12, 2020, Proceedings /
Publicado: (2020)

Computing and combinatorics : 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012, Proceedings /
Publicado: (2012)

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

AI 2012 : Advances in Artificial Intelligence: 25th Australasian Joint Conference Sydney, Australia, December 4-7, 2012 Proceedings /
Publicado: (2012)

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

Reason, rationality and reasonableness /
por: Tran, van Doan, et al.
Publicado: (2001)