シライ ヤスユキ 白井 康之 経営学部 経営学科 教授 |
■ 標題 有限区間制約を付加したモデル生成型定理証明系とその応用 |
■ 概要 有限区間制約を付加したモデル生成型定理証明系とその応用 白井康之, Reiner Hähnle, 長谷川隆三 共著 情報処理学会論文誌 43(12) 2002/12 |
Copyright(C) 2011 Daito Bunka University, All rights reserved. |