検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
著者名典拠情報
NCIDDA09903687
名称(HDNG)Venema, Yde, 1963-
生没年(DATE)1963-
注記(NOTE)Modal logic and process algebra, 1995: CIP t.p. (Yde Venema) CIP data sheet (b. 4-21-63)
SRC:Modal logic and process algebra : a bisimulation perspective / edited by Alban Ponse, Maarten de Rijke & Yde Venema(CSLI, c1995)
LCAID95062438
選択行を：
選択行を
▲ページトップへ