検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
検索条件
件名：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-Verlag1989中央５階洋 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中央５階洋 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中央５階洋 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.].Wiley1991中央５階洋 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 Company1927中央５階洋 141.5||A 96
6書影Mathematical logic for computer science 中央図書館Lu Zhongwan.World Scientific1989中央５階洋 548.16||L 96
7書影Quantum probability--quantum logic U.S. ( Lecture notes in physics ; 321 )中央図書館Itamar Pitowsky.Springer-Verlag1989中央５階洋 420||L 49||321
8書影A system of formal logic. pt. 1. 中央図書館 R.G. Adams & Co.1926中央５階洋 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-Verlag1989中央５階洋 007.1||L 49||398
10書影Temporal logics and their applications 中央図書館edited by Antony Galton.Academic Press1987中央５階洋 548.164||Te 34
選択行を：
▲ページトップへ