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 /

Guardado en:

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Larchey-Wendling, Dominique, Galmiche, Didier
Formato:	eBook
Lenguaje:	English
Publicado:	Berlin, Heidelberg Springer Berlin Heidelberg 2013.
Colección:	Lecture Notes in Computer Science 8123
Materias:	Computer science. Software engineering. Logic design. Computational complexity. Artificial intelligence.
Acceso en línea:	Click here to view the full text content
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings /

Automated reasoning with analytic tableaux and related methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings /
por: Giese, Martin
Publicado: (2009)

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
Publicado: (2005)

Automated reasoning 5th international joint conference, IJCAR 2010, edinburgh, UK, July 16-19, 2010. Proceedings /
Publicado: (2010)

Logic programming and nonmonotonic reasoning : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /
Publicado: (2013)

Computing and combinatorics : 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings /
Publicado: (2013)

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

Relational and algebraic methods in computer science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings /
Publicado: (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 /
Publicado: (2014)

Principles and practice of constraint programming : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings /
Publicado: (2013)

Logic for programming, artificial intelligence, and reasoning : 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /
Publicado: (2013)

Relational and algebraic methods in computer science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings /
Publicado: (2014)

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

Deontic logic in computer science 10th international conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /
Publicado: (2010)

Descriptional complexity of formal systems : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings /
Publicado: (2013)

Algebraic informatics : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings /
Publicado: (2013)

Deontic logic in computer science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings /
Publicado: (2012)

Foundations of information and knowledge systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings /
Publicado: (2010)

Handbook of practical logic and automated reasoning /
por: Harrison, John
Publicado: (2009)

The nature of computation. logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /
Publicado: (2013)

Frontiers of combining systems : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings /
Publicado: (2013)

Principles of distributed systems : 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings /
Publicado: (2013)

Computer science - theory and applications : 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings /
Publicado: (2013)

Logic-based program synthesis and transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /
Publicado: (2013)

DNA computing and molecular programming : 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings /
Publicado: (2013)

Deontic logic and normative systems : 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings /
Publicado: (2014)

Foundations of information and knowledge systems : 7th International symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings /
Publicado: (2012)

Symbolic and quantitative approaches to reasoning with uncertainty : 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings /
Publicado: (2013)

Logic for programming, artificial intelligence, and reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
Publicado: (2007)

Developments in language theory (vol. # 3572) 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings
Publicado: (2005)

Theoretical aspects of computing - ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings /
Publicado: (2014)

Automated reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
Publicado: (2006)

Automated deduction - CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings /
Publicado: (2013)

Logic for programming, artificial intelligence, and reasoning 16th international conference, LPAR-16, Dakar, Senegal, April 25 - May 1, 2010, revised selected papers /
Publicado: (2010)

Automated deduction - CADE-20 20th International Conference on automated deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
por: Nieuwenhuis, Robert
Publicado: (2005)

Computing and combinatorics : 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings /
Publicado: (2014)

Developments in language theory 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings /
Publicado: (2012)

Interactive theorem proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings /
Publicado: (2013)

Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes /
Publicado: (2012)

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems : 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings /
Publicado: (2013)