Computer science logic : 20th international workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006 : proceedings /

Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : proceedings /
Published: (1998)

Computer science logic : 10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : proceedings /
Published: (1997)

Computer science logic : 16th International Workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings /
Published: (2002)

Computer science logic : 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings /
Published: (2005)

Computer science logic : 14th International Workshop, CSL 2000, [9th] annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings /
Published: (2000)

Computer science logic : 12th International Workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings /
Published: (1999)

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 : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings /
Published: (2003)

Computer science logic : 22st international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008 : proceedings /
Published: (2008)

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

Computer science logic : 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings /
Published: (2005)

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 : 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers /
Published: (1996)

Inductive logic programming : 13th international conference, ILP 2003, Szeged, Hungary, September 29-October 1, 2003 : proceedings /
Published: (2003)

Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers /
Published: (1994)

Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 : proceedings /
Published: (1992)

Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings /
Published: (1991)

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

Logic programming : 22nd international conference, ICLP 2006 : Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published: (2006)

Logic in computer science : modelling and reasoning about systems /
by: Huth, Michael, 1962-
Published: (2000)

Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil /
Published: (1999)

Computer science logic : 6th Workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers /
Published: (1993)

Handbook of logic in computer science /
Published: (1992)

An introduction to the logic of the computing sciences : a contemporary look at symbolic logic /
by: Von Dohlen, Richard F.
Published: (1999)

Computational logic in multi-agent systems : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005 : revised selected and invited papers /
Published: (2006)

Logic programming : proceedings of the twelfth International Conference on Logic Programming /
Published: (1995)

Computational logic /
Published: (2014)

Computational logic : logic programming and beyond /
Published: (2002)

Inductive logic programming : 16th international conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006 : revised selected papers /
Published: (2007)

Logic for computer science and artificial intelligence /
by: Caferra, Ricardo, 1945-
Published: (2011)

Logic for computer science : foundations of automatic theorem proving /
by: Gallier, Jean H.
Published: (1986)

Algebraic and logic programming : 5th international confernence, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings /
Published: (1996)

Computational logic--CL 2000 : First International Conference, London, UK, July 2000 : proceedings /
Published: (2000)

Logic programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings /
Published: (2004)

Computer logic : design principles and applications /
by: Hsu, John Y.
Published: (2002)

Inductive logic programming : 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings /
Published: (1997)