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

Logic Colloquium '90

種類:
図書
責任表示:
J. Oikkonen, J. Väänänen (eds.)
出版情報:
Berlin ; New York : Springer-Verlag, c1993
著者名:
シリーズ名:
Lecture notes in logic ; 2 <BA21291492>
ISBN:
9783540570943 [3540570942] (: gw)  CiNii Books  Calil
9780387570945 [0387570942] (: us)  CiNii Books  Calil
注記:
"The 1990 European Summer Meeting of the Association for Symbolic Logic was held in Finland from July 15 to July 22, 1990" -- Foreword
Includes bibliographical references
ASL Summer Meeting in Helsinki
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings

JELIA, Eijck, J. van (Jan)

Springer-Verlag
7 図書 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
2 図書 Logic Colloquium '92

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

CSLI Publications
8 図書 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
3 図書 Logic Colloquium : symposium on logic held at Boston, 1972-73

Boston Logic Colloquium, Parikh, Rohit, 1936-

Springer-Verlag
9 図書 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
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 year 1979-80 : the University of Connecticut, USA

Lerman, M. (Manuel), 1943-, Schmerl, J. H. (James Henry), 1940-, Soare, R. I. (Robert Irving), 1940-

Springer-Verlag
5 図書 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
11 図書 Natural language and logic : International Scientific Symposium, Hamburg, FRG, May 9-11, 1989 : proceedings

International Scientific Symposium, Studer, Rudi, 1951-

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

Logic Colloquium, Makowsky, Johann A., 1948-, Ravve, Elena V., 1963-, Association for Symbolic Logic

Springer
12 図書 Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and …

IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Claesen, Luc J. M., &hellip;

North-Holland