>> 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)  CiNii Books  Webcat Plus  Google Books
9783540976677 [3540976671] (: gw)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 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 &hellip;

American Mathematical Society
7 図書 Logic, methodology and philosophy of science IV : Proceedings

International Congress of Logic, Methodology and Philosophy of Science, Suppes, Patrick, 1922-, International Union of &hellip;

North-Holland Pub. Co., American Elsevier Pub. Co.
2 図書 Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II

Logic Colloquium, Müller, G. H. (Gert Heinz), 1923-, Richter, Michael M., 1938-

Springer-Verlag
8 図書 Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985

Latin-American Symposium on Mathematical Logic, Carnielli, Walter A. (Walter Alexandre), Alcantara, Luiz Paulo de, &hellip;

American Mathematical Society
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 図書 Probabilistic group theory, combinatorics, and computing : lectures from the Fifth de Brún Workshop

Detinko, Alla, Flannery, D. L. (Dane Laurence), 1965-, O'Brien, Eamonn A.

Springer
4 図書 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 &hellip;

Springer-Verlag
10 図書 Proceedings of the Conference "Algebra and Logic," Zagreb, 1984

Conference "Algebra and Logic", Stojaković, Zoran, Institut za matematiku (Novi Sad, Serbia)

Institute of Mathematics, University of Novi Sad
5 図書 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
11 図書 Models and computability : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997

Logic Colloquium, Cooper, S. B. (S. Barry), Truss, J. K, Association for Symbolic Logic

Cambridge University Press
6 図書 Descriptive set theory

Moschovakis, Yiannis N., 1938-

American Mathematical Society
12 図書 Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá

Latin-American Symposium on Mathematical Logic, Caicedo, Xavier, 1944-, Montenegro, Carlos H., 1958-

Marcel Dekker