検索条件
件名：LCSH:Logic,Symbolicandmathematical
選択行を：
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
| 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 | 中央５階洋 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 | 中央５階洋 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 | 中央５階洋 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 | 中央５階洋 007.1||L 49||310 |
| 5 | | Analytical syllogistics; a pragmatic interpretation of the Aristotelian logic 15 ( Northwestern University humanities series ; v. 15 ) | 中央図書館 | | AMS Press | 1970-1946 | 中央５階洋 113.308||N 96||15 |
| 6 | | COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings Berlin , New York ( Lecture notes in computer science ; 417 ) | 中央図書館 | P. Martin-Löf, G. Mints, eds. | Springer-Verlag | 1990 | 中央５階洋 007.1||L 49||417 |
| 7 | | Computational aspects of an order-sorted logic with term declarations U.S. : alk. paper ( Lecture notes in computer science.[ Lecture notes in artificial intelligence.] ) | 中央図書館 | M. Schmidt-Schauss. | Springer-Verlag | 1989 | 中央５階洋 007.1||L 49||395 |
| 8 | | A computational logic handbook ( Perspectives in computing ; v. 23 ) | 中央図書館 | Robert S. Boyer, J. Strother Moore | Academic Press | 1988 | 中央５階洋 410.12||B 69 |
| 9 | | Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings : gw , : us ( Lecture notes in computer science ; 533 ) | 中央図書館 | E. Börger ... [et al.], eds | Springer-Verlag | 1991 | 中央５階洋 007.1||L 49||533 |
| 10 | | Conditional inference and logic for intelligent systems : a theory of measure-free conditioning | 中央図書館 | I.R. Goodman, H.T. Nguyen, and E.A. Walker. | North-Holland, Distributors for the U.S. and Canada, Elsevier Science Pub. Co. | 1991 | 中央５階洋 548.163||G 65 |
選択行を：
|