Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.). (Lecture notes in computer science ; 827. Lecture notes in artificial intelligence)
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。