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 /

Đã lưu trong:

Chi tiết về thư mục
Nhiều tác giả của công ty:	Workshop on Computer Science Logic Oxford, England, European Association for Computer Science Logic. Conference, SpringerLink (Online service)
Định dạng:	Hội nghị đang tiến hành eBook
Ngôn ngữ:	English
Được phát hành:	Berlin, Heidelberg Springer 2005.
Loạt:	Lecture Notes in Computer Science, 3634
Những chủ đề:	Computer logic > Congresses.
Truy cập trực tuyến:	SpringerLink
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Những quyển sách tương tự

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 /
Được phát hành: (2007)

Computer science logic 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings /
Được phát hành: (2010)

Computer science logic 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. proceedings /
Bằng: Gradel, Erich
Được phát hành: (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 /
Được phát hành: (2006)

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

Computer science logic /
Được phát hành: (2000)

Logic based program synthesis and transformation (vol. # 3901) : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /
Được phát hành: (2006)

Logic, language, information and computation 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings /
Được phát hành: (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 /
Được phát hành: (2006)

Logic programming (vol. # 4079) : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
Được phát hành: (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 /
Được phát hành: (2006)

Logic programming 24th international conference, ICLP 2008, Udine, Italy, December 9-13 2008. Proceedings /
Được phát hành: (2008)

Logics in artificial intelligence : 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /
Được phát hành: (2006)

Logics in artificial intelligence : 10th European conference, Jelia 2006, Liverpool, Uk, September 13-15, 2006 proceedings /
Được phát hành: (2006)

Field programmable logic and applications : 14th International Conference, FPL 2004, Leuven, Belgium, August 30-September 1, 2004 : proceedings /
Được phát hành: (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 /
Được phát hành: (2012)

Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers /
Được phát hành: (2007)

Computational science -- ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.
Được phát hành: (2005)

Computational science -- ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.
Được phát hành: (2005)

Logics in artificial intelligence : 10th European conference, Jelia 2006, Liverpool, Uk, September 13-15, 2006 proceedings /
Được phát hành: (2006)

Logic for mathematics and computer science /
Bằng: Burris, Stanley N.
Được phát hành: (1998)

Fuzzy logic /
Được phát hành: (1996)

Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers /
Được phát hành: (2008)

Quantitative logic and soft computing : proceedings of the Ql&Sc 2012, Xi'an, China, 12-15 May 2012 /
Được phát hành: (2012)

Computing and combinatorics 11th Annual International Conference, COCOON 2005, Kunming, China, August 16-19, 2005, Proceedings /
Được phát hành: (2005)

Logical foundations of computer science international symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings /
Được phát hành: (2009)

Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers /
Được phát hành: (2007)

Logical foundations of computer science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
Bằng: Artemov, Sergei N.
Được phát hành: (2007)

Artificial intelligence and symbolic computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings /
Được phát hành: (2006)

Fuzzy logic : a framework for the new millennium /
Được phát hành: (2002)

Fuzzy logic /
Được phát hành: (1996)

Deontic logic in computer science 10th international conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /
Được phát hành: (2010)

Mathematical logic for computer science /
Bằng: Ben-Ari, Mordechai
Được phát hành: (2012)

Computational logic in multi-agent systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers /
Được phát hành: (2005)

Logic for computer scientists /
Bằng: Schoning, Uwe
Được phát hành: (2008)

Logical foundations of computer science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /
Được phát hành: (2013)

Theoretical advances and applications of fuzzy logic and soft computing /
Được phát hành: (2007)

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