コバヤシ サトシ
KOBAYASHI SATOSHI
小林 聡
所属
京都産業大学 情報理工学部 情報理工学科
職種
教授
発行・発表の年月
1990
形態種別
記事・総説・解説・論説等（学術雑誌）
招待論文
招待あり
標題
構成的証明からのプログラム抽出
執筆形態
単著
掲載誌名
コンピュータソフトウェア
掲載区分
国内
巻・号・頁
Vol. 7(No.4)
著者・共著者
小林聡