検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
検索条件
著者情報：Thayse, André, 1940-
選択行を：
 資料名所蔵館責任表示出版者出版年所在
1書影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
2書影From logic design to logic programming : theorem proving techniques and P-functions U.S. : pbk. ( Lecture notes in computer science ; 271 )中央図書館Dominique Snyers, André Thayse.Springer-Verlag1987中央５階洋 007.1||L 49||271
3書影P-functions and Boolean matrix factorization : a unified approach for wired, programmed, and microprogrammed implementations of discrete algorithms U.S. : pbk. ( Lecture notes in computer science ; 175 )中央図書館André Thayse.Springer-Verlag1984中央５階洋 007.1||L 49||175
選択行を
▲ページトップへ