A. Nakamura ... [et al.], (eds.)

Springer-Verlag c1992 Lecture notes in computer science 654

: gw , : us

Available at 57 libraries

研究代表者 中村昭

[広島大学] 1986.2 科学研究費補助金(一般研究C)研究成果報告書 昭和60年度

Available at 1 libraries

栗原俊彦, 中村昭共著

共立出版 1975.3 情報科学講座 / 北川敏男 [ほか] 編 A . 共通基礎理論||キョウツウ キソ リロン ; 2 . 情報論理学||ジョウホウ ロンリガク ; 1 . 論理数学||ロンリ スウガク ; 1

Available at 224 libraries