文献一覧: HIROSE Ken (著者) - Ceek.jp Altmetrics

1 0 0 0 A Proof of Negative Answer to Hilbert's 10th Problem

著者: HIROSE Ken IIDA Shigeaki
出版者: The Japan Academy
雑誌: Proceedings of the Japan Academy (ISSN:00214280)
巻号頁・発行日: vol.49, no.1, pp.10-12, 1973

2015-08-28 14:27:11
1 + 0 Twitter

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