関連資料一覧:(本学所蔵)
検索条件
件名:LCSH:Logic,Symbolicandmathematical.
選択行を:
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
1 | | 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 | 中央5階洋 007.1||L 49||395 |
2 | | 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 | 中央5階洋 548.163||G 65 |
3 | | Conditional logic in expert systems | 中央図書館 | edited by I.R. Goodman ... [et al.]. | North-Holland, Distributors for the U.S. and Canada, Elsevier Science Pub. Co. | 1991 | 中央5階洋 548.163||C 86 |
4 | | From natural language processing to logic for expert systems : a logic based approach to artificial intelligence | 中央図書館 | editor, André Thayse, authors, Jean-Louis Binot ... [et. al.]. | Wiley | 1991 | 中央5階洋 548.16||F 48 |
5 | | The function and forms of thought; an elementary text in methodology and logic based upon symbolic principles | 中央図書館 | by Albert E. Avey ... | H. Holt and Company | 1927 | 中央5階洋 141.5||A 96 |
6 | | Mathematical logic for computer science | 中央図書館 | Lu Zhongwan. | World Scientific | 1989 | 中央5階洋 548.16||L 96 |
7 | | Quantum probability--quantum logic U.S. ( Lecture notes in physics ; 321 ) | 中央図書館 | Itamar Pitowsky. | Springer-Verlag | 1989 | 中央5階洋 420||L 49||321 |
8 | | A system of formal logic. pt. 1. | 中央図書館 | | R.G. Adams & Co. | 1926 | 中央5階洋 116||Sm 5 |
9 | | Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings U.S.: alk. paper ( Lecture notes in computer science ; 398 ) | 中央図書館 | B. Banieqbal, H. Barringer, A. Pnueli (eds.). | Springer-Verlag | 1989 | 中央5階洋 007.1||L 49||398 |
10 | | Temporal logics and their applications | 中央図書館 | edited by Antony Galton. | Academic Press | 1987 | 中央5階洋 548.164||Te 34 |
選択行を:
|