コバヤシ サトシ   KOBAYASHI SATOSHI
  小林 聡
   所属   京都産業大学  情報理工学部 情報理工学科
   職種   教授
発行・発表の年月 1990
形態種別 その他
標題 Kousei-teki Shoumei Kara no Puroguramu Chuushutu (Program Extraction from Constructive Proofs, in Japanese)
執筆形態 その他
掲載誌名 Computer Software
巻・号・頁 Vol. 7(No.4)
著者・共著者 Satoshi Kobayashi