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

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

Bibliographic Details
Published in:	Springer e-books
Main Author:	Puebla, Germán
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
Series:	Lecture Notes in Computer Science,
Subjects:	Artificial intelligence Computer Science Logic design Artificial Intelligence (incl. Robotics) Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Techniques
Online Access:	http://dx.doi.org/10.1007/978-3-540-71410-1 Перейти в каталог НБ ТГУ

Similar Items

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

Logic Based Program Synthesis and Transformation (vol. # 3573) 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers
by: Etalle, Sandro
Published: (2005)

Logic Based Program Synthesis and Transformation (vol. # 3901) 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
by: Hill, Patricia M.
Published: (2006)

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /
by: Hutchison, David
Published: (2008)

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings /
by: Garrigue, Jacques
Published: (2008)

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings
by: Hagiya, Masami
Published: (2006)

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

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers /
Published: (2014)

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /
Published: (2013)

Logic Programming (vol. # 4079) 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
by: Etalle, Sandro
Published: (2006)

Logic Programming (vol. # 3668) 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings
by: Gabbrielli, Maurizio
Published: (2005)

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings /
by: Carbonell, Jaime G.
Published: (2008)

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

Logic for Programming, Aritficial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings
by: Hermann, Miki
Published: (2006)

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

Programming Logics Essays in Memory of Harald Ganzinger /
Published: (2013)

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers /
Published: (2013)

Principles and Practice of Constraint Programming - CP 2002 8th International Conference, CP 2002 Ithaca, NY, USA, September 9вЂ"13, 2002 Proceedings /
by: Hentenryck, Pascal
Published: (2006)

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /
Published: (2015)

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

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers /
Published: (2014)

Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452) 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
by: Baader, Franz
Published: (2005)

Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835) 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
by: Sutcliffe, Geoff
Published: (2005)

Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings
by: Sakaibara, Yasibumi
Published: (2006)

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /
Published: (2015)

Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings /
by: Miguel, Ian
Published: (2007)

Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings
by: Saitta, Lorenza
Published: (2005)

Computer Science Logic (vol. # 4207) 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
by: Ésik, Zoltán
Published: (2006)

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

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings /
by: Hutchison, David
Published: (2008)

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

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
by: Duparc, Jacques
Published: (2007)

Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /
by: Hutchison, David
Published: (2008)

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
by: Hurd, Joe
Published: (2005)

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /
by: Schneider, Klaus
Published: (2007)

Grammatical Inference: Algorithms and Applications 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings /
by: Carbonell, Jaime G.
Published: (2008)

Principle and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings
by: Benhamou, Frédéric
Published: (2006)

Computer Science Logic (vol. # 3634) 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
by: Ong, Luke
Published: (2005)

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings /
by: Hutchison, David
Published: (2008)

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