シライ ヤスユキ 白井 康之 経営学部 経営学科 教授 |
■ 標題 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. |