Cargando…

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

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

Ejemplares similares

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

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 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings /
Publicado: (2007)

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)

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

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 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
Publicado: (2015)

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

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

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)

Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /
Publicado: (2007)

Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz /
Publicado: (2012)

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

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /
Publicado: (2005)

Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings /
Publicado: (2010)

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

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers /
Publicado: (2008)

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

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings /
Publicado: (2016)

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /
Publicado: (2010)

Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings /
Publicado: (2012)

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

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /
Publicado: (2007)

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
Publicado: (2006)

Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings /
Publicado: (2007)

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /
Publicado: (2014)

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /
Publicado: (2010)

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

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

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

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

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

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings /
Publicado: (2005)

Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers /
Publicado: (2010)

Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005 /
Publicado: (2005)

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /
Publicado: (2005)

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

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

Cannot write session to /tmp/vufind_sessions/sess_60sq7h91pf7v18h5bdvkqvlnm7