Cargando…

Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings /

This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Trento, Italy, September 16-18, 2009. The 20 revised full papers presented were carefully reviewed and selected. The papers are organized in topical sections on c...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Ghilardi, Silvio (Editor ), Sebastiani, Roberto (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edición:	1st ed. 2009.
Colección:	Lecture Notes in Artificial Intelligence, 5749
Temas:	Artificial intelligence. Computer science. Machine theory. Software engineering. Algorithms. Artificial Intelligence. Theory of Computation. Formal Languages and Automata Theory. Computer Science Logic and Foundations of Programming. Software Engineering.
Acceso en línea:	Texto Completo

Ejemplares similares

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

Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings /
Publicado: (2011)

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

Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
Publicado: (2015)

Frontiers of Combining Systems 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings /
Publicado: (2007)

Frontiers of Combining Systems 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings /
Publicado: (2005)

Decision Procedures An Algorithmic Point of View /
por: Kroening, Daniel, et al.
Publicado: (2008)

Automated Deduction -- CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings /
Publicado: (2011)

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

Automated Deduction - CADE-21 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings /
Publicado: (2007)

Automated Deduction - CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings /
Publicado: (2005)

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings /
Publicado: (2005)

Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers /
Publicado: (2010)

Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers /
Publicado: (2016)

Algorithmic Learning Theory 22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011, Proceedings /
Publicado: (2011)

Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /
Publicado: (2007)

Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings /
Publicado: (2010)

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

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /
Publicado: (2008)

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings /
Publicado: (2006)

Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings /
Publicado: (2011)

Model Checking and Artificial Intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers /
Publicado: (2011)

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /
Publicado: (2008)

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings /
Publicado: (2013)

Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings /
Publicado: (2009)

Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems /
por: Puppis, Gabriele
Publicado: (2010)

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino /
Publicado: (2007)

Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings /
Publicado: (2012)

Implementation and Application of Automata 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers /
Publicado: (2007)

Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
Publicado: (2008)

Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers /
Publicado: (2010)

Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings /
Publicado: (2014)

Coordination of Large-Scale Multiagent Systems
Publicado: (2006)

Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings /
Publicado: (2011)

Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings /
Publicado: (2016)

Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday /
Publicado: (2012)

Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings /
Publicado: (2010)

Artificial General Intelligence 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014, Proceedings /
Publicado: (2014)

Implementation and Application of Automata 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings /
Publicado: (2006)

Implementation and Application of Automata 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers /
Publicado: (2006)

Cannot write session to /tmp/vufind_sessions/sess_4iuhoo4p0lrerconjsk4hjgcts