>> Amazon.co.jp
このページのQRコード

Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995

種類:
図書
責任表示:
Johann A. Makowsky, Elena V. Ravve (eds.)
出版情報:
Berlin ; New York : Springer, c1998
著者名:
シリーズ名:
Lecture notes in logic ; 11 <BA21291492>
ISBN:
9783540639947 [3540639942]  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 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
7 図書 Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings

Kurt Gödel Colloquium, Gottlob, Georg, 1956-, Leitsch, Alexander, 1952-, Mundici, Daniele, 1946-

Springer
2 図書 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
8 図書 Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings

Kurt Gödel Colloquium, Gottlob, Georg, 1956-, Leitsch, Alexander, 1952-, Mundici, Daniele, 1946-, Kurt Gödel Society

Springer-Verlag
3 図書 Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II

Logic Colloquium, Müller, Gert Heinz, 1923-

Springer-Verlag
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 図書 ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974

International Summer Institute and Logic Colloquium, Müller, G. H. (Gert Heinz), 1923-, Oberschelp, A, Potthoff, Klaus

Springer-Verlag
10 図書 Logic Colloquium '92

Logic Colloquium, Csirmaz, László, Gabbay, Dov M., 1945-, Rijke, Maarten de, Association for Symbolic Logic

CSLI Publications
5 図書 Symbolic and quantitative approaches to reasoning and uncertainty : European Conference, ECSQARU '95, Fribourg, Switzerland, July 3-5, 1995 : proceedings

European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Froidevaux, Christine, Kohlas, &hellip;

Springer
11 図書 Logic Colloquium : symposium on logic held at Boston, 1972-73

Boston Logic Colloquium, Parikh, Rohit, 1936-

Springer-Verlag
6 図書 Cambridge Summer School in Mathematical Logic : held in Cambridge/England, August 1-21, 1971 : [papers]

Cambridge Summer School in Mathematical Logic, Mathias, A. R. D. (Adrian Richard David), 1944-, Rogers, H. (Hartley), &hellip;

Springer-Verlag
12 図書 Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings

International Conference AISMC, Calmet, Jacques, 1941-, Campbell, John A., 1940-

Springer-Verlag