<![CDATA[AIT Library Search for 'au:"Workshop on Computer Science Logic"']]>

<![CDATA[AIT Library Search for 'au:"Workshop on Computer Science Logic"']]> https://opaclib.ait.ac.th/cgi-bin/koha/opac-ait-search.pl?q=ccl=au%3A%22Workshop%20on%20Computer%20Science%20Logic%22&sort_by=relevance&format=rss 10 0 50 Computer science logic : 4th Workshop, CSL'90, Heidelberg, Germany, October 1-5, 1990 : proceedings / ISBN:3540544879 https://opaclib.ait.ac.th/cgi-bin/koha/opac-detail.pl?biblionumber=21208 ]]> Berlin : Springer-Verlag, 1991 .
399 p. 3540544879

]]> Place hold on Computer science logic :

]]> https://opaclib.ait.ac.th/cgi-bin/koha/opac-detail.pl?biblionumber=21208 Computer science logic : 5th Workshop, CSL'91, Berne, Switzerland, October 7-11, 1991 : proceedings / ISBN:354055789X https://opaclib.ait.ac.th/cgi-bin/koha/opac-detail.pl?biblionumber=21209 ]]> Berlin : Springer-Verlag, 1992 .
428 p. 354055789X

]]> Place hold on Computer science logic :

]]> https://opaclib.ait.ac.th/cgi-bin/koha/opac-detail.pl?biblionumber=21209 Computer science logic : 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992 : selected papers / ISBN:3540569928 https://opaclib.ait.ac.th/cgi-bin/koha/opac-detail.pl?biblionumber=21210 ]]> Berlin : Springer-Verlag, 1993 .
439 p. 3540569928

]]> Place hold on Computer science logic :

]]> https://opaclib.ait.ac.th/cgi-bin/koha/opac-detail.pl?biblionumber=21210 Computer science logic : 7th Workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers / ISBN:3540582770 https://opaclib.ait.ac.th/cgi-bin/koha/opac-detail.pl?biblionumber=21211 ]]> Berlin : Springer-Verlag, 1994 .
336 p. 3540582770

]]> Place hold on Computer science logic :

]]> https://opaclib.ait.ac.th/cgi-bin/koha/opac-detail.pl?biblionumber=21211 Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers / ISBN:3540600175 https://opaclib.ait.ac.th/cgi-bin/koha/opac-detail.pl?biblionumber=21212 ]]> Berlin : Springer-Verlag, 1995 .
541 p. 3540600175

]]> Place hold on Computer science logic :

]]> https://opaclib.ait.ac.th/cgi-bin/koha/opac-detail.pl?biblionumber=21212 Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers / ISBN:3540613773 https://opaclib.ait.ac.th/cgi-bin/koha/opac-detail.pl?biblionumber=21213 ]]> Berlin : Springer, 1996 .
485 p. 3540613773

]]> Place hold on Computer science logic :

]]> https://opaclib.ait.ac.th/cgi-bin/koha/opac-detail.pl?biblionumber=21213 Computer science logic : 10th international workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers / ISBN:3540631720 https://opaclib.ait.ac.th/cgi-bin/koha/opac-detail.pl?biblionumber=21214 ]]> Berlin : Springer, 1997 .
471 p. 3540631720

]]> Place hold on Computer science logic :

]]> https://opaclib.ait.ac.th/cgi-bin/koha/opac-detail.pl?biblionumber=21214 CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings / ISBN: https://opaclib.ait.ac.th/cgi-bin/koha/opac-detail.pl?biblionumber=24844 Berlin : Springer-Verlag, 1989 .
399 p.

]]> Place hold on CSL '88 :

]]> https://opaclib.ait.ac.th/cgi-bin/koha/opac-detail.pl?biblionumber=24844 CSL'87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings / ISBN: https://opaclib.ait.ac.th/cgi-bin/koha/opac-detail.pl?biblionumber=24845 Berlin : Springer-Verlag, 1988 .
346 p.

]]> Place hold on CSL'87 :

]]> https://opaclib.ait.ac.th/cgi-bin/koha/opac-detail.pl?biblionumber=24845 CSL'89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings / ISBN:3540527532 https://opaclib.ait.ac.th/cgi-bin/koha/opac-detail.pl?biblionumber=24846 ]]> Berlin : Springer-Verlag, 1990 .
437 p. 3540527532

]]> Place hold on CSL'89 :

]]> https://opaclib.ait.ac.th/cgi-bin/koha/opac-detail.pl?biblionumber=24846