Logic programming 24th international conference, ICLP 2008, Udine, Italy, December 9-13 2008. Proceedings /

Logic programming 24th international conference, ICLP 2008, Udine, Italy, December 9-13 2008. Proceedings /

Kaydedildi:

Detaylı Bibliyografya
Diğer Yazarlar:	De La Banda, Maria Garcia, Pontelli, Enrico
Materyal Türü:	Ekitap
Dil:	English
Baskı/Yayın Bilgisi:	Berlin, Heidelberg Springer Berlin Heidelberg 2008.
Seri Bilgileri:	Lecture Notes in Computer Science, 5366
Konular:	Logic design > Congresses. Computer science > Congresses. Artificial intelligence > Congresses. Logic programming > Congresses.
Online Erişim:	Click here to view the full text content
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

Logic for programming, aritficial intelligence, and reasoning : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings /
Baskı/Yayın Bilgisi: (2006)

Logic programming (vol. # 4079) : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
Baskı/Yayın Bilgisi: (2006)

Logic-based program synthesis and transformation 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers /
Baskı/Yayın Bilgisi: (2009)

Logics in artificial intelligence : 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /
Baskı/Yayın Bilgisi: (2006)

Logics in artificial intelligence : 10th European conference, Jelia 2006, Liverpool, Uk, September 13-15, 2006 proceedings /
Baskı/Yayın Bilgisi: (2006)

Functional and logic programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /
Baskı/Yayın Bilgisi: (2006)

Logics in artificial intelligence : European workshop, JELIA 2000, Malaga, Spain, September 29-October 2, 2000 : proceedings /
Baskı/Yayın Bilgisi: (2000)

Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers /
Baskı/Yayın Bilgisi: (2007)

Functional and logic programming /
Baskı/Yayın Bilgisi: (2001)

Logics in artificial intelligence : 10th European conference, Jelia 2006, Liverpool, Uk, September 13-15, 2006 proceedings /
Baskı/Yayın Bilgisi: (2006)

Logic, artificial intelligence and robotics : LAPTEC 2001 /
Baskı/Yayın Bilgisi: (2001)

Logic, artificial intelligence, and robotics : LAPTEC 2001 /
Baskı/Yayın Bilgisi: (2001)

Logic based program synthesis and transformation (vol. # 3901) : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2006)

Logic programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings /
Baskı/Yayın Bilgisi: (2009)

Logic programming : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Artificial intelligence and symbolic computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings /
Baskı/Yayın Bilgisi: (2006)

Computational logic in multi-agent systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers /
Baskı/Yayın Bilgisi: (2005)

Functional and logic programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings /
Baskı/Yayın Bilgisi: (2008)

Computational intelligence, theory and applications : International Conference 9th Fuzzy Days in Dortmund, Germany, Sept. 18¡V20, 2006 Proceedings /
Baskı/Yayın Bilgisi: (2006)

Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers /
Baskı/Yayın Bilgisi: (2007)

Computational intelligence : theory and application : International Conference, 9th Fuzzy Days in Dortmund, Germany, Sept. 18-20, 2006 : proceedings /
Baskı/Yayın Bilgisi: (2006)

Functional and logic programming /
Baskı/Yayın Bilgisi: (2001)

Computer science logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /
Baskı/Yayın Bilgisi: (2005)

Deontic logic and artificial normative systems : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings /
Baskı/Yayın Bilgisi: (2006)

Computational logic in multi-agent systems (vol. # 3900) : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers /
Baskı/Yayın Bilgisi: (2006)

Quantitative logic and soft computing : proceedings of the Ql&Sc 2012, Xi'an, China, 12-15 May 2012 /
Baskı/Yayın Bilgisi: (2012)

Advances in technological applications of logical and intelligent systems selected papers from the Sixth Congress on Logic Applied to Technology
Baskı/Yayın Bilgisi: (2009)

Advances in technological applications of logical and intelligent systems selected papers from the Sixth Congress on Logic Applied to Technology
Baskı/Yayın Bilgisi: (2009)

Computer science logic (vol. # 4207) : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Automated technology for verification and analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings /
Yazar:: Liu, Zhiming
Baskı/Yayın Bilgisi: (2009)

Logic, language, and computation 7th international tbilisi symposium on logic, language, and computation, tbiLLC 2007, tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers /
Baskı/Yayın Bilgisi: (2009)

Computational intelligence in decision and control : proceedings of the 8th International FLINS Conference, Madrid, Spain, 21-24 September 2008 /
Baskı/Yayın Bilgisi: (2008)

Intelligent agents and multi-agent systems 11th pacific rim international conference on multi-agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings /
Baskı/Yayın Bilgisi: (2008)

Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers /
Baskı/Yayın Bilgisi: (2008)

Programming languages and systems 18th European symposium on programming, ESOP 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
Baskı/Yayın Bilgisi: (2009)

Fuzzy logic /
Baskı/Yayın Bilgisi: (1996)

Computational logic in multi-agent systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised selected and invited papers /
Baskı/Yayın Bilgisi: (2009)

Computational intelligence foundations and applications : proceedings of the 9th International FLINS Conference /
Baskı/Yayın Bilgisi: (2010)

Types for proofs and programs international conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /
Baskı/Yayın Bilgisi: (2009)

Simulated evolution and learning 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008. Proceedings /
Baskı/Yayın Bilgisi: (2008)