Cargando…

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

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

Ejemplares similares

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 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings /
Publicado: (2010)

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 Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
Publicado: (2006)

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

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

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

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

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings /
Publicado: (2005)

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings /
Publicado: (2007)

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /
Publicado: (2005)

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /
Publicado: (2015)

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

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

Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
Publicado: (2015)

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

Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings /
Publicado: (2016)

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /
Publicado: (2013)

Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011, Proceedings /
Publicado: (2011)

Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers /
Publicado: (2009)

Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings /
Publicado: (2012)

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings /
Publicado: (2013)

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

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

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

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

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

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

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

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

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

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

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

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)

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

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

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

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

Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings /
Publicado: (2007)

Cannot write session to /tmp/vufind_sessions/sess_unbmgd24coqhhhlnv9vb11mf18