Computer science logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /

Computer science logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /

Saved in:

Bibliographic Details
Corporate Authors:	Workshop on Computer Science Logic Oxford, England, European Association for Computer Science Logic. Conference, SpringerLink (Online service)
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin, Heidelberg Springer 2005.
Series:	Lecture Notes in Computer Science, 3634
Subjects:	Computer logic > Congresses.
Online Access:	SpringerLink
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

Computer science logic 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings /
Published: (2010)

Computer science logic 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. proceedings /
by: Gradel, Erich
Published: (2009)

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

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

Computer science logic /
Published: (2000)

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

Logic, language, information and computation 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings /
Published: (2009)

Relations and kleene algebra in computer science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings /
Published: (2006)

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

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 /
Published: (2006)

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

Logics in artificial intelligence : 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /
Published: (2006)

Logics in artificial intelligence : 10th European conference, Jelia 2006, Liverpool, Uk, September 13-15, 2006 proceedings /
Published: (2006)

Field programmable logic and applications : 14th International Conference, FPL 2004, Leuven, Belgium, August 30-September 1, 2004 : proceedings /
Published: (2004)

Proceedings of the 11th Asian Logic Conference : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 /
Published: (2012)

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

Computational science -- ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.
Published: (2005)

Computational science -- ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.
Published: (2005)

Logics in artificial intelligence : 10th European conference, Jelia 2006, Liverpool, Uk, September 13-15, 2006 proceedings /
Published: (2006)

Logic for mathematics and computer science /
by: Burris, Stanley N.
Published: (1998)

Fuzzy logic /
Published: (1996)

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

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

Computing and combinatorics 11th Annual International Conference, COCOON 2005, Kunming, China, August 16-19, 2005, Proceedings /
Published: (2005)

Logical foundations of computer science international symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings /
Published: (2009)

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

Logical foundations of computer science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
by: Artemov, Sergei N.
Published: (2007)

Artificial intelligence and symbolic computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings /
Published: (2006)

Fuzzy logic : a framework for the new millennium /
Published: (2002)

Fuzzy logic /
Published: (1996)

Deontic logic in computer science 10th international conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /
Published: (2010)

Mathematical logic for computer science /
by: Ben-Ari, Mordechai
Published: (2012)

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

Logic for computer scientists /
by: Schoning, Uwe
Published: (2008)

Logical foundations of computer science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /
Published: (2013)

Theoretical advances and applications of fuzzy logic and soft computing /
Published: (2007)

Theoretical computer science : 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings