Automated reasoning with analytic tableaux and related methods : :: SCD d'Orléans

Automated reasoning with analytic tableaux and related methods : 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013 : proceedings

Automated reasoning with analytic tableaux and related methods : 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013 : proceedings

This book constitutes the refereed proceedings of the 22th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2013, held in Nancy, France, in September 2013. The 20 revised research papers presented together with 4 system descriptions were carefully...

Descripció completa

Guardat en:

Dades bibliogràfiques
Autor principal:	Galmiche, Didier
Altres autors:	Larchey-Wendling, Dominique (Director editorial)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin, Heidelberg : Springer Berlin Heidelberg [20..]. Cham : Springer Nature
Edició:	1st ed. 2013.
Col·lecció:	Lecture Notes in Artificial Intelligence 8123
Accés en línia:	Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Automated Reasoning with Analytic Tableaux and Related Methods, Texte imprimé, 9783642405389 • Automated Reasoning with Analytic Tableaux and Related Methods, Texte imprimé, 9783642405365

Ítems similars

Automated reasoning with analytic tableaux and related methods : [6th] International Conference, TABLEAUX'97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings
per: Galmiche, Didier, 1958-

Automated Reasoning with Analytic Tableaux and Related Methods
Publicat: (2025)

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003 : proceedings

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 98 Oisterwijk, The Netherlands, May 5 8, 1998 : proceedings

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 August 1, 2002 : proceedings

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX'99, Saratoga Springs, NY, June 7-11, 1999 : proceedings

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings

Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15 17, 1996 : proceedings
per: Miglioli, Pierangelo, 1946-

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloß Reinfels, St. Goar, Germany, May 7 10, 1995 : proceedings
per: Baumgartner, Peter, 1953-

Automated Reasoning
Publicat: (2024)

Automated Reasoning
Publicat: (2024)

Automated Reasoning
Publicat: (2022)

Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18 22, 2001 : proceedings

Logic programming and automated reasoning : 5th International Conference, LPAR '94 Kiev, Ukraine, July 16 22, 1994 : proceedings
per: Pfenning, Frank

Journal of automated reasoning.
Publicat: (2002)

Journal of Automated Reasoning.

Logic programming and automated reasoning : 6th International Conference, LPAR 99 Tbilisi, Georgia, September 6 10, 1999 : proceedings

Automated reasoning : Second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
per: Basin, David

Logic for programming and automated reasoning : 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
per: Parigot, Michel, 1956-...., mathématicien

Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13 20, 1993 : proceedings
per: Voronkov, Andrei, 1959-

Visual analytics with Tableau
per: Loth, Alexander
Publicat: (2019)

Automated Reasoning and Mathematics : Essays in Memory of William W. McCune
per: Bonacina, Maria Paola

Logic programming and automated reasoning : [3rd] International Conference LPAR '92, St. Petersburg, Russia, July 15 20, 1992 : proceedings
per: Voronkov, Andrei, 1959-

Logic Programming and Nonmonotonic Reasoning : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
per: Cabalar, Pedro

Artificial intelligence, automated reasoning, and symbolic computation : Joint International Conferences AISC 2002 and Calculemus 2002, Marseille, France, July 1 5, 2002 : proceedings

Automated deduction : CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings
per: Bundy, Alan R., 1947-

Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
per: Lauer, Peter E., 1934-

Automated deduction : CADE-24 : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013 : proceedings
per: Bonacina, Maria Paola

Visual Analytics Using Tableau : Structured approach for turning raw data to powerful insights
per: Rajput, NehaSingh, et al.
Publicat: (2024)

Web Reasoning and Rule Systems : 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings
per: Faber, Wolfgang
Publicat: (2013)

Automated deduction - CADE-16 : 16th International Conference on Automated Deduction Trento, Italy, July 7 10, 1999 : proceedings

Big data analytics : Second International Conference, BDA 2013, Mysore, India, December 16-18, 2013, Proceedings
per: Bhatnagar, Vasudha
Publicat: (2013)

Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 : proceedings

Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings

Automated Technology for Verification and Analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

Reasoning Web : semantic technologies for intelligent data access : 9th International Summer School 2013, Mannheim, Germany, July 30 August 2, 2013 : proceedings
per: Rudolph, Sebastian
Publicat: (2013)

Automated deduction CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 August 2, 2003 : proceedings

Theories and methods of spatio-temporal reasoning in geographic space : International Conference GIS - From Space to Territory : theories and methods of spatio-temporal reasoning, Pisa, Italy, September 21 23, 1992 : proceedings
per: Frank, Andrew U., 1948-

Logic for programming, artificial intelligence, and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings

Intelligent Data Engineering and Automated Learning IDEAL 2013 : 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013. Proceedings
per: Yin, Hujun, 1962-
Publicat: (2013)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales