シライ ヤスユキ
  白井 康之   経営学部 経営学科   准教授
■ 標題
  Program synthesis by a model generation theorem prover
■ 概要
  
  Masayuki Fujita, Ryuzo Hasegawa, Yasuyuki Shirai, Fumihiro Kumeno
  共著   ICOT technical report, TR-629, Institute for New Generation Computer Technology, May 1991      1991/05


Copyright(C) 2011 Daito Bunka University, All rights reserved.