検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
著者名典拠情報
NCIDDA08917868
名称(HDNG)International Conference on Temporal Logic
注記(NOTE)SRC:Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)(Springer-Verlag, c1994)
選択行を：
選択行を
▲ページトップへ