3 0 0 0 OA 計算機科学における論理的検証
- 著者
- 五十嵐 滋
- 出版者
- 日本科学哲学会
- 雑誌
- 科学哲学 (ISSN:02893428)
- 巻号頁・発行日
- vol.7, pp.151-165, 1974-11-15 (Released:2009-05-29)
言及状況
外部データベース (DOI)
はてなブックマーク (1 users, 1 posts)
[あとで読む]
Twitter (2 users, 2 posts, 1 favorites)
J-STAGE Articles - 計算機科学における論理的検証 https://t.co/Uu63jBBMNH