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

>> Google Books

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

形態:

viii, 336 p. : ill. ; 24 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 832 <BA00009279>

書誌ID:

BA23281092

ISBN:

9783540582779 [3540582770] (: gw)

9780387582771 [0387582770] (: us)

子書誌情報

所蔵情報

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

詳細

主題:	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
注記:	"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
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 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	7 図書 Graph-theoretic concepts in computer science : 20th International Workshop, WG '94, Herrsching, Germany, June 16-18, 1994 : proceedings International Workshop on Graph-Theoretic Concepts in Computer Science, Mayr, Ernst W., Schmidt, Gunther, 1939-, … Springer
2 図書 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	8 図書 Graph-theoretic concepts in computer science : 16th International Workshop WG '90, Berlin, Germany, June 20-22, 1990 : proceedings International Workshop on Graph-Theoretic Concepts in Computer Science, Möhring, R. H. (Rolf H.) Springer-Verlag
3 図書 Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, … Brazilian Conference on Mathematical Logic, Carnielli, Walter A. (Walter Alexandre), D'Ottaviano, Itala M. L., 1944- American Mathematical Society	9 図書 Graph-theoretic concepts in computer science : 18th International Workshop, WG '92, Wiesbaden-Naurod, Germany, June 18-20, 1992 : proceedings International Workshop on Graph-Theoretic Concepts in Computer Science, Mayr, Ernst W. Springer-Verlag
4 図書 CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings Workshop on Computer Science Logic, Börger, Egon, 1946-, Richter, Michael M., 1938-, Kleine Büning, Hans, 1948- Springer-Verlag	10 図書 Graph-theoretic concepts in computer science : 15th International Workshop WG '89, Castle Rolduc, The Netherlands, June 14-16, 1989, proceedings International Workshop on Graph-Theoretic Concepts in Computer Science, Nagl, Manfred, 1944-, Rheinisch-Westfälische … Springer-Verlag
5 図書 Graph-theoretic concepts in computer science : 19th International Workshop, WG '93, Utrecht, The Netherlands, June 16-18, 1993 : proceedings International Workshop on Graph-Theoretic Concepts in Computer Science, Leeuwen, Jan van Springer-Verlag	11 図書 Trends in theoretical computer science Börger, Egon, 1946- Computer Science Press
6 図書 STACS 93 : 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993 : proceedings Symposium on Theoretical Aspects of Computer Science, Enjalbert, P, Finkel, Alain, Wagner, K. W Springer-Verlag	12 図書 STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings Symposium on Theoretical Aspects of Computer Science, Mayr, Ernst W., Puech, Claude Springer-Verlag