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. # 3634) 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

Enregistré dans:

Détails bibliographiques
Collectivité auteur:	SpringerLink (Online service)
Autres auteurs:	Ong, Luke
Format:	eBook
Langue:	English
Collection:	Lecture Notes in Computer Science, 3634
Sujets:	Artificial intelligence Computer science Logic design Logic, Symbolic and mathematical
Accès en ligne:	Click here to view the full text content
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

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

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

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

Logic-based artificial intelligence /
Publié: (2000)

Mathematical logic in the 20th century /
Publié: (2003)

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

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

Logic for mathematics and computer science /
par: Burris, Stanley N.
Publié: (1998)

Logic design theory /
par: Biswas, Nripendra Nath
Publié: (1993)

Logic for computer scientists /
par: Schoning, Uwe
Publié: (2008)

Logic design theory /
par: Biswas, Nripendra N.
Publié: (2006)

Mathematical logic /
par: Shoenfield, Joseph R.
Publié: (1967)

Mathematical logic /
Publié: (2001)

Mathematical logic /
par: Chiswell, Ian, 1948-
Publié: (2007)

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 /
Publié: (2012)

Logical tools for handling change in agent-based systems /
par: Gabbay, Dov M., 1945-
Publié: (2010)

Introduction to mathematical logic /
par: Walicki, Michał
Publié: (2012)

Introduction to mathematical logic /
par: Mendelson, Elliott
Publié: (2010)

Logic, sets and recursions /
par: Causey, Robert L.
Publié: (2006)

Introduction to mathematical logic /
par: Mendelson, Elliott
Publié: (1997)

Understanding symbolic logic /
par: Klenk, Virginia
Publié: (2008)

A Course in mathematical Logic for mathematicians
par: Manin, Yu. I.
Publié: (2010)

A Course on Mathematical Logic
par: Srivastava, S. M.
Publié: (2008)

A mathematical introduction to logic /
par: Enderton, Herbert B.
Publié: (2001)

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

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

Mathematical problems from applied logic II : logics for the XXIst century /
Publié: (2007)

Mechanical logic in three-dimensional space /
par: Auletta, Gennaro
Publié: (2014)

A concise introduction to mathematical logic /
par: Rautenberg, Wolfgang
Publié: (2006)

Epistemic logic for AI and computer science /
par: Meyer, John-Jules Ch
Publié: (1995)

Logics in artificial intelligence : European workshop, JELIA 2000, Malaga, Spain, September 29-October 2, 2000 : proceedings /
Publié: (2000)

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

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

Temporal logic and state systems /
par: Kroger, Fred
Publié: (2008)

Logic informal, symbolic & inductive
par: Chakraborti, Chhanda
Publié: (2009)

Logic informal, symbolic & inductive
par: Chakraborti, Chhanda
Publié: (2009)

Mathematical logic
par: Ebbinghaus, H.-D, et autres
Publié: (1994)

Logic for mathematicians
par: Hamilton, A. G.
Publié: (1988)

Logic for mathematicians
par: Hamilton, A. G.
Publié: (1988)