Logic-based program synthesis and transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, revised selected papers /

Logic-based program synthesis and transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, revised selected papers /

Kaydedildi:

Detaylı Bibliyografya
Müşterek Yazar:	SpringerLink (Online service)
Diğer Yazarlar:	Schreye, Danny
Materyal Türü:	Ekitap
Dil:	English
Baskı/Yayın Bilgisi:	Berlin, Heidelberg Springer 2010.
Seri Bilgileri:	Lecture Notes in Computer Science, 6037
Konular:	Computer science Software engineering Logic design Artificial intelligence
Online Erişim:	Click here to view the full text content
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

Logic based program synthesis and transformation (vol. # 3573) / 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, revised selected papers
Baskı/Yayın Bilgisi: (2005)

Logic-based program synthesis and transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2013)

Logic-based program synthesis and transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. revised selected papers /
Baskı/Yayın Bilgisi: (2012)

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)

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)

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-based program synthesis and transformation 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers /
Baskı/Yayın Bilgisi: (2009)

Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2013)

Functional and constraint logic programming 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, revised selected papers /
Baskı/Yayın Bilgisi: (2010)

Inductive logic programming 21st international conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011, revised selected papers /
Baskı/Yayın Bilgisi: (2012)

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

Logic-based artificial intelligence /
Baskı/Yayın Bilgisi: (2000)

Functional and logic programming 10th international symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings /
Baskı/Yayın Bilgisi: (2010)

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

Functional and logic programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

Functional and logic programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Logic for programming, artificial intelligence, and reasoning : 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /
Baskı/Yayın Bilgisi: (2013)

Logic for programming, artificial intelligence, and reasoning 16th international conference, LPAR-16, Dakar, Senegal, April 25 - May 1, 2010, revised selected papers /
Baskı/Yayın Bilgisi: (2010)

Approaches and applications of inductive programming third international workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers /
Baskı/Yayın Bilgisi: (2010)

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)

Logic for computer science and artificial intelligence /
Yazar:: Caferra, Ricardo
Baskı/Yayın Bilgisi: (2011)

Logical tools for handling change in agent-based systems /
Yazar:: Gabbay, Dov M., 1945-
Baskı/Yayın Bilgisi: (2010)

Programming logics : essays in memory of harald ganzinger /
Baskı/Yayın Bilgisi: (2013)

Logic programming 24th international conference, ICLP 2008, Udine, Italy, December 9-13 2008. Proceedings /
Baskı/Yayın Bilgisi: (2008)

Logic programming and nonmonotonic reasoning : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /
Baskı/Yayın Bilgisi: (2013)

Unifying theories of programming second international symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, revised selected papers /
Baskı/Yayın Bilgisi: (2010)

Logic for programming, artificial intelligence, and reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
Baskı/Yayın Bilgisi: (2007)

Rigid flexibility : the logic of intelligence /
Yazar:: Wang, Pei
Baskı/Yayın Bilgisi: (2006)

Non-axiomatic logic a model of intelligent reasoning
Yazar:: Wang, Pei
Baskı/Yayın Bilgisi: (2013)

Non-axiomatic logic a model of intelligent reasoning
Yazar:: Wang, Pei
Baskı/Yayın Bilgisi: (2013)

Computer science logic : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
Baskı/Yayın Bilgisi: (2007)

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

Logic, language and meaning 17th amsterdam colloquium, amsterdam, the netherlands, December 16-18, 2009, revised selected papers /
Baskı/Yayın Bilgisi: (2010)

Proof theory for fuzzy logics
Yazar:: Metcalfe, George
Baskı/Yayın Bilgisi: (2009)

Logic for programming, artificial intelligence, and reasoning 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings /
Baskı/Yayın Bilgisi: (2010)

Logic for programming, artificial intelligence, and reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

A 25-year perspective on logic programming achievements of the Italian association for logic programming, GULP /
Baskı/Yayın Bilgisi: (2010)

Computational Logic in multi-agent systems 10th international workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, revised selected and invited papers /
Baskı/Yayın Bilgisi: (2010)

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