Skip to contents

Symposium on Logic in Computer Science

Proceedings / Symposium on Logic in Computer Science. The Computer Society of the IEEE

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Washington, DC: Computer Society Pr., 1986-1989 / [1.]1986; 2.1987 - 4.1989
Odifreddi, Piergiorgio [Editor]

Logic and computer science

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

London [u.a.]: Academic Press, 1990

Published in: Automatic Programming Information Centre: APIC series ; 31
Ésik, Zoltán [Editor] ; European Association for Computer Science Logic, CSL 20 2006 Szeged

Computer science logic : 20th international workshop, CSL 2006, 15th annual conference of the EACSL, Szeged, Hungary, September 25 - 29, 2006 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 4207
Clote, Peter [Editor]; Schwichtenberg, Helmut [Other] ; European Association for Computer Science Logic, CSL 14 2000 Fischbachau

Computer science logic : 14th international workshop ; CSL 2000 ; annual conference of the EACSL, Fischbachau, Germany, August 21 - 26, 2000 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2000

Published in: Lecture notes in computer science ; 1862
Drechsler, Rolf [Editor] ; International Symposium on Multiple Valued Logic 29 1999 Freiburg im Breisgau, IEEE Computer Society Technical Committee on Multiple Valued Logic, Albert-Ludwigs-Universität Freiburg

Proceedings / 1999 29th IEEE International Symposium on Multiple-Valued Logic : May 20 - 22, 1999, Freiburg im Breisgau

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Los Alamitos, Calif. [u.a.]: IEEE Computer Society, 1999
Papadimitriou, Christos H. [Author]

Computational complexity - [Reprinted with corr.]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Reading, Mass. [u.a.]: Addison-Wesley, 1995
Huth, Michael [Author]; Ryan, Mark [Author]

Logic in computer science : modelling and reasoning about systems - [Second edition]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge; New York; Melbourne: Cambridge University Press, 2004
Huth, Michael [Author]; Ryan, Mark [Author]

Logic in computer science : modelling and reasoning about systems - [2. ed., 4. print.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge University Press, 2008
Mycielski, Jan [Editor]; Ehrenfeucht, Andrzej [Honoree]

Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg; New York; Barcelona; Budapest; Hong Kong; London; Milan; Paris; Santa Clara; Singapore; Tokyo: Springer, 1997

Published in: Lecture notes in computer science ; 1261
Minker, Jack [Editor]

Logic-based artificial intelligence

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Boston [u.a.]: Kluwer, Acad. Publ., 2000

Published in: Kluwer international series in engineering and computer science ; 597
Nievergelt, Yves [Author]

Foundations of logic and mathematics : applications to computer science and cryptography

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Boston; Basel; Berlin: Birkhäuser, 2002
Grädel, Erich [Editor]; Kahle, Reinhard [Other] ; European Association for Computer Science Logic, CSL 23 2009 Coimbra

Computer science logic : 23rd international workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5771
Dawar, Anuj [Editor]; Veith, Helmut [Other] ; CSL 24 2010 Brünn

Computer science logic : 24th international workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 6247
Duparc, Jacques [Editor]; Henzinger, Thomas A. [Other] ; European Association for Computer Science Logic, CSL 21 2007 Lausanne

Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11 - 15, 2007 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2007

Published in: Lecture notes in computer science ; 4646
Kaminski, Michael [Editor]; Martini, Simone [Other] ; European Association for Computer Science Logic, CSL 22 2008 Bertinoro

Computer science logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16 - 19, 2008; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 5213
Baaz, Matthias [Editor]; Makowsky, Johann M. [Editor] ; European Association for Computer Science Logic, International Workshop CSL 17 2003 Wien, Kurt Gödel Colloquium 8 2003 Wien

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

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2003

Published in: Lecture notes in computer science ; 2803
Marcinkowski, Jerzy [Editor] ; European Association for Computer Science Logic, CSL 18 2004 Karpacz

Computer science logic : 18th international workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20 - 24, 2004 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2004

Published in: Lecture notes in computer science ; 3210
Ong, Luke [Editor] ; European Association for Computer Science Logic, CSL 19 2005 Oxford

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

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3634
Bradfield, Julian [Editor] ; European Association for Computer Science Logic, CSL 16 2002 Edinburgh

Computer science logic : 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22 - 25, 2002 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2002

Published in: Lecture notes in computer science ; 2471
Plotkin, Gordon [Other]; Milner, Robin [Honoree]

Proof, language, and interaction : essays in honour of Robin Milner

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge, Mass.; London: MIT, 2000

Published in: Foundations of computing series

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication