Proceedings of the third IBM Symposium on Mathematical Foundations of Computer Science, mathematical logic & computer science, August 21-23, 1978 at Inter-University Seminar House

Proceedings of the third IBM Symposium on Mathematical Foundations of Computer Science, mathematical logic & computer science, August 21-23, 1978 at Inter-University Seminar House

Tokyo : Academic & Scientific Programs, IBM Japan, [1978?]

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

548.04-P94-3

10008025290

一般図書

詳細情報

刊年

1978

形態

1 v. (various pagings) : ill. ; 31 cm

別書名

Mathematical logic & computer science

注記

Pagination differs

Chairman: S. Hitotumatu

Includes bibliographical references

出版国

日本

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

IBM Symposium on Mathematical Foundations of Computer Science [ Symposium on Mathematical Foundations of Computer Science, IBM ]

IBM Japan. Academic & Scientific Programs

件名

Machine theory -- Congresses

Electronic digital computers -- Programming -- Congresses

Electronic data processing -- Congresses

NCID

BA90221022