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

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

This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013. The 31 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 71 initial submissions. CADE is the ma...

Full beskrivning

Sparad:

Bibliografiska uppgifter
Institutionell upphovsman:	SpringerLink (Online service)
Övriga upphovsmän:	Bonacina, Maria Paola
Materialtyp:	E-bok
Språk:	English
Publicerad:	Berlin, Heidelberg Springer Berlin Heidelberg 2013.
Serie:	Lecture Notes in Computer Science 7898
Ämnen:	Computer science. Software engineering. Computer software. Logic design. Artificial intelligence.
Länkar:	Click here to view the full text content
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!

Liknande verk

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

Automated deduction - CADE-21 21st International Conference on automated deduction Bremen, Germany, July 17-20, 2007 Proceedings /
av: Pfenning, Frank
Publicerad: (2007)

Automated deduction CADE-22 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings /
Publicerad: (2009)

Automated deduction in geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers /
Publicerad: (2013)

The deductive spreadsheet /
av: Cervesato, Iliano
Publicerad: (2013)

Natural deduction, hybrid systems and modal logics
av: Indrzejczak, Andrzej
Publicerad: (2010)

Labelled deduction /
Publicerad: (2000)

The logic of categorial grammars A deductive account of natural language syntax and semantics /
av: Moot, Richard
Publicerad: (2012)

Automated deduction in geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
av: Hong, Hoon
Publicerad: (2006)

Automated reasoning with analytic tableaux and related methods : 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings /
Publicerad: (2013)

Automated deduction in geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers /
av: Botana, Francisco
Publicerad: (2007)

Practical aspects of declarative languages : 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings /
Publicerad: (2012)

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

The functional interpretation of logical deduction /
av: Queiroz, Ruy J. G. B. de.
Publicerad: (2012)

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

Algorithmic learning theory : 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings /
Publicerad: (2013)

Computer science logic 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings /
Publicerad: (2010)

Practical aspects of declarative languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings /
Publicerad: (2011)

Computer aided verification : 24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /
Publicerad: (2012)

Unconventional computation 9th international conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings /
Publicerad: (2010)

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

Verified software: theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /
Publicerad: (2014)

Computational logic in multi-agent systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings /
Publicerad: (2013)

Theory and applications of satisfiability testing - SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings /
Publicerad: (2013)

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

Theoretical Aspects of Computing - ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings /
Publicerad: (2013)

Information and communication technologies in education, research, and industrial applications : 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers /
Publicerad: (2013)

Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings /
Publicerad: (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 /
Publicerad: (2014)

Foundations of software science and computational structures : 15th International Conference, FOSSACS 2012, Held as Part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings /
Publicerad: (2012)

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

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

Theory and applications of satisfiability testing - SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings /
Publicerad: (2012)

Principles and practice of constraint programming CP 2010 16th international conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings /
Publicerad: (2010)

Functional and logic programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /
Publicerad: (2014)

Compiler construction (vol. # 3443) 14th international conference, CC 2005, held as part of the joint european conferences on theory and practice of Software, ETAPS 2005
Publicerad: (2005)

Computer aided verification 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /
Publicerad: (2009)

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

Software reuse for dynamic systems in the cloud and beyond : 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings /
Publicerad: (2014)

Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings /
Publicerad: (2013)