Tokyo : Corporate & Scientific Programs, IBM Japan, [1981?]
図書等| No. | 所在 | 請求記号 | 資料ID | 資料タイプ | 状況（返却予定日） | コレクション | 備考 | 予約・取り寄せ人数 |
|---|---|---|---|---|---|---|---|---|
|
1 |
548.04-P94-6
|
10008025293 |
一般図書 |
|
|
|
|
1981
1 v. (various pagings) : ill. ; 31 cm
Logic aspect of programs
Pagination differs
Chairperson: Hitotumatu, S
Includes bibliographical references
日本
英語 (eng)
英語 (eng)
IBM Symposium on Mathematical Foundations of Computer Science [ Symposium on Mathematical Foundations of Computer Science, IBM ]
LCC:QA76
BA9022312X
