Logic from computer science : proceedings of a workshop held November 13-17, 1989

>> Google Books

QRコード(所蔵情報)

Logic from computer science : proceedings of a workshop held November 13-17, 1989

フォーマット:

図書

責任表示:

Y.N. Moschovakis, editor

言語:

英語

出版情報:

New York ; Berlin : Springer-Verlag, c1992

形態:

xi, 608 p. ; 25 cm

著者名:

シリーズ名:

Mathematical Sciences Research Institute publications ; 21 <BA00044859>

書誌ID:

BA13554789

ISBN:

9780387976679 [0387976671] (: us)

9783540976677 [3540976671] (: gw)

子書誌情報

所蔵情報

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

詳細

主題:	Computer science--Congresses; Logic, Symbolic and mathematical--Congresses
分類・件名:	LCC : QA9.A1 DDC : 511.3 LCSH : Logic, Symbolic and mathematical -- Congresses LCSH : Computer science -- Congresses
LCCN:	91028180
注記:	Includes bibliographical references "Workshop with the same title held at MSRI" -- Pref
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers Workshop on Computer Science Logic, Börger, Egon, 1946-, Gurevich, Yuri, Meinke, K. (Karl) Springer-Verlag	7 図書 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
2 図書 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	8 図書 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
3 図書 Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985, with support from the National Science … AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to … American Mathematical Society	9 図書 Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings International Symposium on Logical Foundations of Computer Science, Meyer, Albert R., Taitslin, M. A. (Michael A.) Springer-Verlag
4 図書 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	10 図書 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
5 図書 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	11 図書 Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June … Homer, S. (Steven), Odifreddi, Piergiorgio, 1950-, Centro internazionale matematico estivo. Session, C.I.M.E. Meeting on … Springer-Verlag
6 図書 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	12 図書 Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 篠田, 壽一(1948-), Slaman, T. A. (Theodore Allen), 1954-, 柘植, 利之(1926-), Meeting on Mathematical Logic and its Applications Springer-Verlag