Search records | 東京工業大学附属図書館蔵書検索

同じキーワードで他のサイトを検索できます。

しぼり込み検索

タイトル：

フルタイトル：

著者名：

出版者：

ISBN / ISSN / 図書 ID / 書誌 ID：

出版年：

～

所在：

主題：

請求記号：

目次情報：

表示順選択

検索結果: 3 件

図書

1. 情報基礎論

長尾真, 辻井潤一, 山崎進共著

図書

2. 岩波情報科学辞典

長尾真 [ほか] 編

図書

3. コンピュータによる定理の証明

Chin-Liang Chang, Richard Char-Tung Lee著 ; 長尾真, 辻井潤一訳

出版情報:	東京 : 日本コンピュータ協会, 1983.9 xii, 346p ; 22cm
シリーズ名:	コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 27
子書誌情報:	loading…
所蔵情報:	loading…

文献の複写および貸借の依頼を行う