コバヤシ サトシ   KOBAYASHI SATOSHI
  小林 聡
   所属   京都産業大学  情報理工学部 情報理工学科
   職種   教授
発行・発表の年月 1990
形態種別 その他
標題 構成的証明からのプログラム抽出
執筆形態 その他
掲載誌名 コンピュータソフトウェア
巻・号・頁 Vol. 7(No.4)
著者・共著者 小林聡