Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings /

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings /

Bibliographic Details
Published in:	Springer eBooks
Main Author:	Garrigue, Jacques
Corporate Author:	SpringerLink (Online service)
Other Authors:	Hermenegildo, Manuel V.
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
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 Languages, Compilers, Interpreters Programming Techniques
Online Access:	http://dx.doi.org/10.1007/978-3-540-78969-7 Перейти в каталог НБ ТГУ

Similar Items

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings
by: Hagiya, Masami
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 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /
Published: (2014)

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

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

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

Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /
by: Puebla, Germán
Published: (2007)

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)

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 for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /
Published: (2013)

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings /
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 for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings /
by: Carbonell, Jaime G.
Published: (2008)

Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings /
by: Hutchison, David
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, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
Published: (2015)

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 2007 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings /
by: Bessière, Christian
Published: (2007)

Verified Software: Theories, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /
Published: (2014)

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers /
Published: (2014)

Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings /
Published: (2015)

Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
by: Altenkirch, Thorsten
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)

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

Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings /
by: Rocca, Simona Ronchi
Published: (2007)

Abstraction, Refinement and Proof for Probabilistic Systems
by: McIver, Annabelle
Published: (2005)

Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005
by: Van Beek, Peter
Published: (2005)

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)

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 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings /
by: Carbonell, Jaime G.
Published: (2008)

Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings
by: Urzyczyn, Paweł
Published: (2005)

Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /
Published: (2015)

Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers /
by: Miculan, Marino
Published: (2008)

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

Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings /
by: Hutchison, David
Published: (2008)

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)

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