OPAC

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)

データ種別	図書
出版者	Berlin : New York : Springer-Verlag
出版年	c1994
本文言語	英語
大きさ	xi, 545 p. : ill. ; 24 cm
著者標目	International Conference on Temporal Logic Gabbay, Dov M., 1945- Ohlbach, Hans Jürgen

巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
827	射水-2階-洋書	007.6\|\|L49\|\|827	101144384						予約		予約

一般注記	Includes bibliographical references and index
件　名	LCSH:Electronic digital computers -- Programming 全ての件名で検索 LCSH:Logic, Symbolic and mathematical
分　類	LCC:QA76.6 DC20:511.3
書誌ID	B000062658
ISBN	354058241X
NCID	BA23177363