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 /

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Hermenegildo, Manuel V., Garrigue, Jacques
Μορφή:	Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Σειρά:	Lecture Notes in Computer Science, 4989
Θέματα:	Artificial intelligence Logic design Computer science
Διαθέσιμο Online:	Click here to view the full text content
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Functional and logic programming 10th international symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings /
Έκδοση: (2010)

Functional and logic programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /
Έκδοση: (2014)

Functional and logic programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /
Έκδοση: (2012)

Logic programming 24th international conference, ICLP 2008, Udine, Italy, December 9-13 2008. Proceedings /
Έκδοση: (2008)

Logic programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings /
Έκδοση: (2009)

Functional and constraint logic programming 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, revised selected papers /
Έκδοση: (2010)

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

Logic based program synthesis and transformation (vol. # 3573) / 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, revised selected papers
Έκδοση: (2005)

Logic for programming, artificial intelligence, and reasoning 16th international conference, LPAR-16, Dakar, Senegal, April 25 - May 1, 2010, revised selected papers /
Έκδοση: (2010)

Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers /
Έκδοση: (2013)

Inductive logic programming 21st international conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011, revised selected papers /
Έκδοση: (2012)

Functional and logic programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /
Έκδοση: (2006)

Programming logics : essays in memory of harald ganzinger /
Έκδοση: (2013)

Logic for programming, artificial intelligence, and reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
Έκδοση: (2007)

Logic for programming, artificial intelligence, and reasoning : 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /
Έκδοση: (2013)

Logic-based program synthesis and transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, revised selected papers /
Έκδοση: (2010)

Computer science logic : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
Έκδοση: (2007)

Logic for programming, artificial intelligence, and reasoning (vol. # 3452) 11th international workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
ανά: Baader, Franz
Έκδοση: (2005)

Unifying theories of programming second international symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, revised selected papers /
Έκδοση: (2010)

Logic for programming, artificial intelligence, and reasoning 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings /
Έκδοση: (2010)

Logic for programming, artificial intelligence, and reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings /
Έκδοση: (2012)

Computational logic in multi-agent systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings /
Έκδοση: (2013)

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

Deontic logic in computer science 10th international conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /
Έκδοση: (2010)

A 25-year perspective on logic programming achievements of the Italian association for logic programming, GULP /
Έκδοση: (2010)

Logical analysis of hybrid systems proving theorems for complex dynamics /
ανά: Platzer, Andr©♭
Έκδοση: (2010)

Logic for programming, artificial intelligence, and reasoning (vol. # 3835) : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Logic programming and nonmonotonic reasoning : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /
Έκδοση: (2013)

Unifying theories of programming third international symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings /
Έκδοση: (2010)

Trends in functional programming : 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers /
Έκδοση: (2014)

Logic-based program synthesis and transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /
Έκδοση: (2013)

Logic-based program synthesis and transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. revised selected papers /
Έκδοση: (2012)

Handbook of philosophical logic /
Έκδοση: (2007)

Abstraction, reformulation and approximation / 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings

Principles and practice of constraint programming CP 2010 16th international conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings /
Έκδοση: (2010)

Deontic logic in computer science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings /
Έκδοση: (2012)

Theorem proving in higher order logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /
ανά: Schneider, Klaus, 1967-
Έκδοση: (2007)

Theorem proving in higher order logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings /

Computational logic in multi-agent systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings /
Έκδοση: (2012)

Computational logic in multi-agent systems : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings /
Έκδοση: (2014)