Logic programming : 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 ; proceedings /

Logic programming : 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 ; proceedings /

57

Bibliographic Details
Main Authors:	474083 International Conference on Logic Programming (23rd : 2007 : Porto, Portugal), Dahl, Veronica, 1950-, 1961-
Format:
Language:	eng
Published:	New York, NY : Springer, 2007
Subjects:	Logic programming
Online Access:	http://dx.doi.org/10.1007/978-3-540-74610-2

Similar Items

Artificial Neural Networks - ICANN 2007 [electronic resource] : 17th International Conference, Porto, Portugal, September 9-13, 2007: Proceedings, Part I /
by: International Conference on Artificial Neural Networks (European Neural Network Society) (17th : 2007 : Porto, Portugal), et al.
Published: (2007)

Artificial Neural Networks - ICANN 2007 [electronic resource] : 17th International Conference, Porto, Portugal, September 9-13, 2007: Proceedings, Part II /
by: International Conference on Artificial Neural Networks (European Neural Network Society) (17th : 2007 : Porto, Portugal), et al.
Published: (2007)

Association of Researchers in Construction Management Proceedings of the 23rd Annual Conference, Belfast, New Ireland, 2007 September 3-5 /
by: Proceedings of the ARCOM Annual Conference (23rd : 2007 Sep: Belfast, New Ireland), et al.
Published: (2007)

Wired / wireless internet communications : 5th international conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007 : proceedings /
by: WWIC 2007 (2007 : Coimbra, Portugal), et al.
Published: (2007)

Computational vision and medical image processing : VipIMAGE 2007 : proceedings of Vipimage 2007 - Firstveccomas thematic conference on computational vision and medical image processing, Porto, portugal, 17-19 October 2007 /
by: Conference on computational vision and medical image procesing (1st : 2007 : Porto, Portugal), et al.
Published: (2008)

Advances in Artificial Life [electronic resource] : 9th European Conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007: Proceedings /
by: ECAL 2007 (2007 : Lisbon, Portugal), et al.
Published: (2007)

CONCUR 2007 - Concurrency Theory [electronic resource] : 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007: Proceedings /
by: International Conference on Concurrency Theory (18th : 2007 : Lisbon, Portugal), et al.
Published: (2007)

Affective Computing and Intelligent Interaction [electronic resource] : Second International Conference, ACII 2007 Lisbon, Portugal, September 12-14, 2007 Proceedings /
by: ACII 2007 (2007 : Lisbon, Portugal), et al.
Published: (2007)

Applications of computational mechanics in geotechnical engineering: proceedings of the 3rd international workshop on applications of computational mechanics in geotechnical engineering at Porto, Portugal 2-4 september 1998 /
by: International Workshop on Applications of Computational Mechanics in Geotechnical Engineering (3rd : 1998 : Porto, Portugal ), et al.
Published: (2001)

Programming languages and systems [electronic resource]: 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics [i.e. Practice] of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings/
by: European Symposium on Programming (16th : 2007 : Braga, Portugal), et al.
Published: (2007)

Advances in computation and intelligence : second international symposium, ISICA 2007, Wuhan, China, September 21-23, 2007 : proceedings /
by: ISICA 2007 (2007 : Wuhan, China), et al.
Published: (2007)

Database programming languages [electronic resource]: 11th international symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007 : revised selected papers/
by: International Symposium on Database Programming Languages (11th : 2007 : Vienna, Austria), et al.
Published: (2007)

Advances in Turbulence XI [electronic resources]: Proceedings of the 11th EUROMECH European Turbulance Conference, June 25-28, 2007 Porto, Portugal /
by: European Turbulence Conference (11th : 2007 : Porto, Portugal), et al.
Published: (2007)

Spatial Information Theory [electronic resource] : 8th International Conference, COSIT 2007, Melbourne, Australiia, September 19-23, 2007: Proceedings /
by: COSIT 2007 (2007 : Melbourne, Vic.), et al.
Published: (2007)

Proceedings of the 23rd International Towing Tank Conference, 8 - 14 September 2002, Venice, Italy /
by: International Towing Tank Conference (23rd : 2002 : Venice, Italy)
Published: (2002)

Compiler construction [electronic resource]: 16th international conference, CC 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007 : proceedings/
by: CC 2007 (2007 : Braga, Portugal), et al.
Published: (2007)

Programming languages and systems [electronic resource]: 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics [i.e. Practice] of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings/
by: European Symposium on Programming (16th : 2007 : Braga, Portugal), et al.
Published: (2007)

Proceedings of the 3rd ASEAN PGS 2007 : asean postgraduate seminar in built environment, 3-5 December, 2007 /
by: ASEAN Post Graduate Seminar in Built Environment (3rd : 2007 : Kuala Lumpur, Malaysia)
Published: (2007)

Theory and Applications of Satisfiability Testing - SAT 2007 [electronic resource] : 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007: Proceedings /
by: SAT 2007 (2007 : Lisbon, Portugal), et al.
Published: (2007)

Foundations of software science and computational structures [electronic resource] : 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings/
by: FOSSACS 2007 (2007 : Braga, Portugal), et al.
Published: (2007)

Geomorphic systems : proceedings of the 23rd Binghamton Symposium in Geomorphology, held 25-27 September 1992 /
by: Binghamton Symposium in Geomorphology (23rd : 1992 : Binghampton), et al.
Published: (1992)

Fundamental approaches to software engineering [electronic resource] : 10th international conference, FASE 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /
by: FASE 2007 (2007 : Braga, Portugal), et al.
Published: (2007)

Compiler construction [electronic resource]: 16th international conference, CC 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007 : proceedings/
by: CC 2007 (2007 : Braga, Portugal), et al.
Published: (2007)

Recent developments in physical chemistry : 3rd Mexican Meeting on Mathematical and Experimental Physics, Mx̌ico City, Mx̌ico, 10-14 September 2007 /
by: Mexican Meeting on Mathematical and Experimental Physics (3rd : 2007 : Mexico City, Mexico), et al.
Published: (2008)

Natural phenomena 2007 : Eurographics workshop on natural phenomena, Prague, Czech Republic, September 4, 2007 /
by: Eurographics Workshop on Natural Phenomena (3rd : 2007 : Prague, Czech Republic), et al.
Published: (2007)

Recent developments in gravitation and cosmology : 3rd Mexican Meeting on Mathematical and Experimental Physics, Mx̌ico City, Mx̌ico, 10-14 September 2007 /
by: Mexican Meeting on Mathematical and Experimental Physics (3rd : 2007 : Mexico City, Mexico), et al.
Published: (2008)

CompLife 2007 : 3rd International Symposium on Computational Life Science, Utrecht, The Netherlands, 4-5 October 2007
by: CompLife 2007 (2007 : Utrecht, Netherlands), et al.
Published: (2007)

Foundations of software science and computational structures [electronic resource]: 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings/
by: FOSSACS 2007 (2007 : Braga, Portugal), et al.
Published: (2007)

Fundamental approaches to software engineering [electronic resource] : 10th international conference, FASE 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings/
by: FASE 2007 (2007 : Braga, Portugal), et al.
Published: (2007)

Evolvable Systems: From Biology to Hardware [electronic resource] : 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings /
by: International Conference on Evolvable Systems (7th : 2007 : Wuhan, China), et al.
Published: (2007)

Reasoning Web [electronic resource] : Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures. /
by: Summer School on Reasoning Web (3rd : 2007 : Dresden, Germany), et al.
Published: (2007)

Computational methods in systems biology : International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007 : proceedings /
by: International Conference CMSB 2007 (2007 : Edinburgh, Scotland), et al.
Published: (2007)

Comparative Genomics [electronic resource] : RECOMB 2007 International Workshop, RECOMB-CG 2007, San Diego, CA, USA, September 16-18, 2007: Proceedings /
by: RCG 2007 (2007 : San Diego, Calif.), et al.
Published: (2007)

Advances in fracture and damage mechanics VI : proceedings of the 6th International Conference on Fracture and Damage Mechanics, FDM 2007, 17-19 July 2007 Portugal /
by: International Conference on Fracture and Damage Mechanics (6th : 2007 : Madeira, Portugal), et al.
Published: (2007)

Algorithms in bioinformatics : 7th international workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007 : proceedings /
by: WABI 2007 (2007 : Philadelphia, Pa.), et al.
Published: (2007)

UbiComp 2007: Ubiquitous Computing [electronic resource] : 9th International Conference, UbiComp 2007, Innsbruck, Austria, September 16-19, 2007: Proceedings /
by: UbiComp 2007 (2007 : Innsbruck, Austria), et al.
Published: (2007)

Computer Science Logic [electronic resource] : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007: Proceedings /
by: Workshop on Computer Science Logic (21st : 2007 : Lausanne, Switzerland), et al.
Published: (2007)

International conference on mathematical biology 2007 : ICMB07 Putrjaya, Malaysia, 4-6 September 2007 /
by: International Conference on Mathematical Biology (Malaysia) (2007 : Putrajaya, Malaysia), et al.
Published: (2008)

Hardware and software-verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings /
by: International Haifa Verification Conference (3rd : 2007 : Haifa, Israel), et al.
Published: (2008)

Gravity, geoid and space missions : GGSM 2004, IAG International Symposium, Porto, Portugal. August 30 - September 3, 2004 /
by: IAG International Symposium on Gravity, Geoid and Space Missions (2004 : Porto, Portugal), et al.
Published: (2005)