1.

Book
Book
1. コンピュータによる定理の証明
Chin-Liang Chang, Richard Char-Tung Lee著 ; 長尾真, 辻井潤一訳
Published: 東京 : 日本コンピュータ協会, 1983.9
Series: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 27
Holdings: loading…
2.

Book
Book
2. パターン認識と図形処理
長尾真編 ; 斎藤収三 [ほか著]
Published: 東京 : 岩波書店, 1983.3
Series: 岩波講座情報科学 ; 21
Holdings: loading…
3.

Book
Book
3. 情報の構造とデータベース
長尾真, 片山卓也, 植村俊亮 [著]
Published: 東京 : 岩波書店, 1983.6
Series: 岩波講座情報科学 ; 8
Holdings: loading…
4.

Book
Book
4. 論理と意味
長尾真, 淵一博 [著]
Published: 東京 : 岩波書店, 1983.1
Series: 岩波講座情報科学 ; 7
Holdings: loading…