文献一覧: Takahashi Makoto (著者) - Ceek.jp Altmetrics

1 0 0 0 OA Specification analysis of concurrent programs(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)

著者: Hirose Ken Takahashi Makoto
出版者: 京都大学数理解析研究所
雑誌: 数理解析研究所講究録 (ISSN:18802818)
巻号頁・発行日: vol.516, pp.111-122, 1984-03

2013-05-04 19:02:26
1 + 0 Twitter

http://hdl.handle.net/2433/98385