1 | | 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 : gw , : us ( Lecture notes in computer science ; 87 ) | 中央図書館 | edited by W. Bibel and R. Kowalski | Springer-Verlag | 1980 | 中央5階洋 007.1||L 49||87 |
2 | | 7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings : gw , : us ( Lecture notes in computer science ; 170 ) | 中央図書館 | edited by R.E. Shostak | Springer-Verlag | 1984 | 中央5階洋 007.1||L 49||170 |
3 | | 8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings : gw , : us ( Lecture notes in computer science ; 230 ) | 中央図書館 | edited by Jörg H. Siekmann | Springer-Verlag | 1986 | 中央5階洋 007.1||L 49||230 |
4 | | 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings : gw , : us ( Lecture notes in computer science ; 310 ) | 中央図書館 | E. Lusk, R. Overbeek (eds.) | Springer-Verlag | 1988 | 中央5階洋 007.1||L 49||310 |
5 | | Algebraic and logic programming : International Workshop, Gaussig, GDR, November 14-18, 1988 : proceedings : gw , : us ( Lecture notes in computer science ; 343 ) | 中央図書館 | J. Grabowski, P. Lescanne, W. Wechler (eds.) | Springer-Verlag | 1988 | 中央5階洋 007.1||L 49||343 |
6 | | Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings : gw , : us ( Lecture notes in computer science ; 463 ) | 中央図書館 | H. Kirchner, W. Wechler (eds.) | Springer-Verlag | 1990 | 中央5階洋 007.1||L 49||463 |
7 | | Analytical syllogistics; a pragmatic interpretation of the Aristotelian logic 15 ( Northwestern University humanities series ; v. 15 ) | 中央図書館 | | AMS Press | 1970-1946 | 中央5階洋 113.308||N 96||15 |
8 | | Aristotelis Categoriae ; et, Liber de interpretatione ( Scriptorum classicorum bibliotheca Oxoniensis ) | 研究所 | recognovit brevique adnotatione critica instruxit L. Minio-Paluello | E Typographeo Clarendoniano | 1949 | 倫理学研 131.4||A 76 |
9 | | Barney Bear gets dressed : pbk ( Learn to read, read to learn[ Beginning Leveled Readers ; Guided Reading Level C] , Math ; 1B ) | 鶴川図書館 | written by Rozanne Lanczak Williams, illustrated by Mary Thelen | Creative Teaching Press | 2017-1995 | 鶴川3階児童 J837||L 48||1-2 |
10 | | The categories . On interpretation . Prior analytics | 中央図書館 | [translated] by Harold P. Cooke, [translated] by Hugh Tredennick | Harvard University Press, W. Heinemann | 1962-1938 | 中央5階洋 083||L 82||325 |