2024-03-28T14:11:31Z
https://repository.dl.itc.u-tokyo.ac.jp/oai
oai:repository.dl.itc.u-tokyo.ac.jp:00002176
2022-12-19T03:43:45Z
6:273:326
9:233:280
時相理論に基づく論理設計支援システム
Logic Design Assistance System based on Temporal Logic
Nakamura, Hiroshi
6253
007.6
情報処理
University of Tokyo (東京大学)
工学博士
thesis
1990-03-29
1990-03-29
application/pdf
甲第8555号
https://repository.dl.itc.u-tokyo.ac.jp/record/2176/files/108555.pdf
eng