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

>> Amazon.co.jp

このページのQRコード

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

種類:

図書

責任表示:

Egon Börger, Yuri Gurevich, Karl Meinke (eds.)

出版情報:

Berlin ; New York : Springer-Verlag, c1994

著者名:

シリーズ名:

Lecture notes in computer science ; 832 <BA00009279>

ISBN:

9783540582779 [3540582770] (: gw)

9780387582771 [0387582770] (: us)

注記:

"The 1993 Annual Conference of the European Association for Computer Science Logic CSL '93 was held in Swansea from September 13 to September 17, 19
Includes bibliographical references

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Computer logic--Congresses; Computer science--Congresses; Logic, Symbolic and mathematical--Congresses
分類・件名:	LCC : QA76.9.L63 LCC : QA75.5 DDC : 004/.01/5113 LCSH : Computer logic -- Congresses LCSH : Computer science -- Congresses LCSH : Logic, Symbolic and mathematical -- Congresses
TTLL:	eng
言語:	英語
形態:	viii, 336 p. : ill. ; 24 cm
書誌ID:	BA23281092

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers Workshop on Computer Science Logic, Börger, Egon, 1946- Springer-Verlag	7 図書 Computer science logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers Workshop on Computer Science Logic, Dalen, Dirk van, Bezem, Marc, European Association for Computer Science Logic Springer
2 電子ブック Computer Science Logic : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers Börger, Egon, Gurevich, Yuri, Meinke, Karl, SpringerLink (Online service) Springer-Verlag	8 図書 Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings Workshop on Computer Science Logic, Börger, Egon, 1946- Springer-Verlag
3 電子ブック Computer Science Logic : 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers Börger, Egon., Gurevich, Yuri., Meinke, Karl., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	9 図書 Computer science logic : 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers Workshop on Computer Science Logic, Nielsen, Mogens, Thomas, Wolfgang, European Association for Computer Science Logic Springer
4 図書 Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October, 7-11, 1991 : proceedings Workshop on Computer Science Logic, Börger, Egon, 1946- Springer-Verlag	10 図書 Logic from computer science : proceedings of a workshop held November 13-17, 1989 Moschovakis, Yiannis N., 1938-, Workshop on Logic from Computer Science Springer-Verlag
5 図書 Computer science logic : 8th Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers Workshop on Computer Science Logic, Pacholski, Leszek, Tiuryn, Jerzy Springer-Verlag	11 図書 Computer science logic : 15th International Workshop, CSL 2001, 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings Workshop on Computer Science Logic, European Association for Computer Science Logic, Fribourg, Laurent, 1957- Springer
6 図書 Computer science logic : 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers Workshop on Computer Science Logic, Kleine Büning, Hans, 1948-, European Association for Computer Science Logic Springer	12 図書 CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989, proceedings Workshop on Computer Science Logic, Börger, Egon, 1946-, Kleine Büning, Hans, 1948-, Richter, Michael M., 1938- Springer-Verlag