関連資料一覧:(本学所蔵)
検索条件
シリーズ名:MIT Press series in logic programming
選択行を:
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
1 | | Real VR - immersive digital reality : how to import the real world into head-mounted immersive displays : [pbk.] ( Lecture notes in computer science ; 11900[ LNCS sublibrary ; SL 6 image processing, computer vision, pattern recognition, and graphics] ) | 太秦南館 | Marcus Magnor, Alexander Sorkine-Hornung (eds.) | Springer | 2020 | 太秦南館:5階閲覧室 548||R21 |
2 | | From lambda calculus to cybersecurity through program analysis : essays dedicated to Chris Hankin on the occasion of his retirement ( Lecture notes in computer science ; 12065[ festschrift] ) | 太秦南館 | Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan (eds.) | Springer | 2020 | 太秦南館:5階閲覧室 007.609||F48 |
3 | | Computational complexity and property testing : on the interplay between randomness and computation ( Lecture notes in computer science ; 12050[ LNCS sublibrary ; SL1 Theoretical computer science and general issues State-of-the-art survey] ) | 太秦南館 | Oded Goldreich ... [et al.], with contributions by Itai Benjamini ... [et al.] | Springer | 2020 | 太秦南館:5階閲覧室 418.1||C85 |
4 | | Knowledge graphs and big data processing : [pbk.] ( Lecture notes in computer science ; 12072[ State-of-the-art survey] ) | 太秦南館 | Valentina Janev ... [et al.] (eds.) | Springer | 2020 | 太秦南館:5階閲覧室 007.609||Kn5 |
5 | | Logic programming : proceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995 : electronic bk ( MIT Press series in logic programming , Logic programming , Lecture notes in computer science ) | その他 | edited by by Leon S. Sterling | MIT Press | 1995 | オンライン |
6 | | GWAI-92 : advances in artificial intelligence : 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31-September 3, 1992 : proceedings : gw , : us ( Lecture notes in computer science ; 671[ Lecture notes in artificial intelligence] ) | 亀岡本館 | Hans Jürgen Ohlbach (ed.) | Springer | 1993 | 亀岡本館:書庫 007.1||G98 |
7 | | The logic of information structures : us , : gw ( Lecture notes in computer science ; 681[ Lecture notes in artificial intelligence] ) | 亀岡本館 | Heinrich Wansing | Springer-Verlag | 1993 | 亀岡本館:書庫 007.1||W37l |
選択行を:
|