Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981

所蔵情報QRコード

Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 / edited by C.-T. Chong and M.J. Wicks

資料種別:

図書

出版情報:

Amsterdam, The Netherlands ; New York : North-Holland
New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983

形態:

xiv, 210 p. ; 23 cm

シリーズ名:

Studies in logic and the foundations of mathematics ; v. 111 <BA00099329>

著者名:

ISBN:

9780444867063 [0444867066] ((U.S.))

書誌ID:

BA04017450

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	Includes bibliographies
主題:	Logic, Symbolic and mathematical--Congresses
言語:	英語

東工大ブックレビュー

類似資料:

1 図書 Theorem proving in higher order logics : 11th International Conference, TPHOLs '98, Canberra, Australia, September 27- October 1, 1998 : proceedings International Conference on Theorem Proving in Higher Order Logics, Grundy, J. (Jim), 1968-, Newey, Malcolm Charles Springer	7 図書 Automated deduction -- CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings International Conference on Automated Deduction, McRobbie, M. A. (Michael A.), Slaney, John K. Springer
2 図書 Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 Logic Colloquium, Gandy, R. O., Hyland, John Martin Elliott North-Holland Pub. Co., Sole distributors for U.S.A. and Canada, Elsevier North-Holland	8 図書 Discrete mathematics and theoretical computer science : 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings DMTCS, Calude, Cristian, 1952-, Dinneen, M. J., 1957-, Vajnovszki, Vincent Springer
3 図書 Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 Logic Colloquium, Paris, J. B., Wilkie, A. J. (Alec J.), Wilmers, G. M. North-Holland	9 図書 Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973 (: North-Holland ; : American Elsevier) Logic Colloquium, Rose, Harvey Ernest, Shepherdson, John Cedric, Association for Symbolic Logic North-Holland Pub. Co, American Elsevier Pub. Co.
4 図書 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, M. (Mogens), 1949-, Thomas, Wolfgang, European Association for Computer … Springer	10 図書 Conference in Mathematical Logic, London '70 : [proceedings] (: Germany ; : U.S.) Conference in Mathematical Logic, Hodges, Wilfrid Springer-Verlag
5 図書 Logic Colloquium '87 : proceedings of the colloquium held in Granada, Spain, July 20-25, 1987 Logic Colloquium, Ebbinghaus, Heinz-Dieter, 1939-, Fernandez-Prida, J., Garrido, M., Lascar, D. (Daniel), 1942-, … North-Holland	11 図書 Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings (: gw ; : us) JELIA, Eijck, J. van (Jan) Springer-Verlag
6 図書 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., … North-Holland	12 図書 ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 (: gw ; : u.s.) International Summer Institute and Logic Colloquium, Müller, G. H. (Gert Heinz), 1923-, Oberschelp, A, Potthoff, Klaus Springer-Verlag

1

2

3

4

5

6

7

8

9

10

11

12