Results of search for 'ccl=au:"Workshop on Computer Science Logic"'

Image from Amazon.com

Computer science logic : 4th Workshop, CSL'90, Heidelberg, Germany, October 1-5, 1990 : proceedings / E. Börger ... [et al.] by

Series: Lecture notes in computer science ; no. 533

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer-Verlag, 1991

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.9 M35 W67 1990.

Image from Amazon.com

Computer science logic : 5th Workshop, CSL'91, Berne, Switzerland, October 7-11, 1991 : proceedings / E. Börger ... [et al.] (eds.) by

Series: Lecture notes in computer science ; no. 626

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer-Verlag, 1992

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.9 M35 W67 1991.

Image from Amazon.com

Computer science logic : 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992 : selected papers / E. Börger ... [et al.] (Eds.) by

Series: Lecture notes in computer science ; no. 702

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer-Verlag, 1993

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.9 M35 W67 1992.

Image from Amazon.com

Computer science logic : 7th Workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers / Egon Börger, Yuri Gurevich and Karl Meinke (eds.) by

Series: Lecture notes in computer science ; no. 832

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer-Verlag, 1994

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.9 M35 W67 1993.

Image from Amazon.com

Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers / Leszek Pacholski and Jerzy Tiuryn (eds.) by

Series: Lecture notes in computer science ; no. 933

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer-Verlag, 1995

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.9 M35 W67 1994.

Image from Amazon.com

Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers / Hans Kleine Büning, ed. by

Series: Lecture notes in computer science ; v. 1092

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1996

Other title:

CSL '95
EACSL

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.9 L63 W67 1995.

Image from Amazon.com

Computer science logic : 10th international workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers / Dirk van Dalen and Marc Bezem, eds. by

Series: Lecture notes in computer science ; no. 1258

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1997

Other title:

CSL '96
EACSL

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.9 L63 W67 1996.

CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings / E. Börger, H. Kleine Büning, M. M. Richter (eds.) by

Series: Lecture notes in computer science ; no. 385

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer-Verlag, 1989

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.9 M35 W67 1988.

CSL'87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings / E. Börger, H. Kleine Büning and M. M. Richter (Eds.) by

Series: Lecture notes in computer science ; no. 329

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer-Verlag, 1988

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.9 M35 W67 1987.

10.

Image from Amazon.com

CSL'89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings / E. Börger, H. Kleine Büning and M. M. Richter (Eds.) by

Series: Lecture notes in computer science ; no. 440

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer-Verlag, 1990

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.9 M35 W67 1989.

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Your search returned 10 results from 132353 records.

AIT

Asian Institute of Technology Library