Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings /

Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings /

Bibliographic Details
Published in:	Springer e-books
Main Author:	Miguel, Ian
Corporate Author:	SpringerLink (Online service)
Other Authors:	Ruml, Wheeler
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
Online Access:	http://dx.doi.org/10.1007/978-3-540-73580-9 Перейти в каталог НБ ТГУ

Similar Items

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

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)

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /
by: Damm, Werner
Published: (2007)

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)

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

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

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

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings
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)

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
by: Hutchison, David
Published: (2008)

Computer Aided Verification (vol. # 3576) 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
by: Etessami, Kousha
Published: (2005)

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)

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings /
by: Garrigue, Jacques
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)

Computer Aided Verification (vol. # 4144) 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
by: Ball, Thomas
Published: (2006)

Automated Deduction вЂ" CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /
by: Pfenning, Frank
Published: (2007)

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)

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)

Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
by: de Vrijer, Roel
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)

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)

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 for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
by: Dershowitz, Nachum
Published: (2007)

Automated Deduction - CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
by: Nieuwenhuis, Robert
Published: (2005)

Automated Reasoning and Mathematics Essays in Memory of William W. McCune /
Published: (2013)

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

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

Compiler Construction (vol. # 3443) 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005
by: Bodik, Rastislav
Published: (2005)

Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings /
by: Hendren, Laurie
Published: (2008)

Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
by: Furbach, Ulrich
Published: (2006)

Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
by: Carbonell, Jaime G.
Published: (2008)

Compiler Construction (vol. # 3923) 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings
by: Mycroft, Alan
Published: (2006)

Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings /
by: Baader, Franz
Published: (2007)

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)

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)

Abstraction, Refinement and Proof for Probabilistic Systems
by: McIver, Annabelle
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)