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

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987

種類:
図書
責任表示:
J. Shinoda, T.A. Slaman, T. Tugué (eds.)
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1989
著者名:
シリーズ名:
Lecture notes in mathematics ; 1388 <BA00146586>
ISBN:
9783540515272 [3540515275] (: gw)  CiNii Books  Calil
9780387515274 [0387515275] (: us)  CiNii Books  Calil
注記:
'The '87th Meeting on Mathematical Logic and its Applications was held at the Research Institute of Mathematical Sciences (RIMS) of Kyoto University during August 3-6, 1987'--Pref
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

Logic Symposia, Müller, G. H. (Gert Heinz), 1923-, 竹内, 外史(1926-), 柘植, 利之(1926-)

Springer-Verlag
7 図書 Conference in Mathematical Logic, London '70 : [proceedings]

Conference in Mathematical Logic, Hodges, Wilfrid

Springer-Verlag
2 電子ブック Mathematical Logic and Applications : Proceedings of the Logic Meeting held in Kyoto, 1987

Shinoda, Juichi., Slaman, Theodore A., Tugue, Tosiyuki., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 Mathematical logic : proceedings of the first Brazilian Conference

Brazilian Conference on Mathematical Logic, Arruda, Ayda I., Costa, Newton C. A. da, Chuaqui, R., Universidade Estadual &hellip;

M. Dekker
3 図書 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
9 図書 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
4 図書 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
10 図書 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
5 図書 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
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 &hellip;

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

Boston Logic Colloquium, Parikh, Rohit, 1936-

Springer-Verlag
12 図書 Logic of computation

NATO Advanced Study Institute on Logic of Computation, Schwichtenberg, Helmut, 1942-

Springer