close
1.

図書
図書
1. Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings (: gw ; : us)
Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 827 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書
図書
2. Temporal logic : mathematical foundations and computational aspects (v. 1 ; v. 2)
Dov M. Gabbay, Ian Hodkinson and Mark Reynolds
出版情報: Oxford : Clarendon Press , New York ; Tokyo : Oxford University Press, 1994-
シリーズ名: Oxford logic guides ; 28, 40
所蔵情報: loading…
3.

図書
図書
3. The temporal logic of reactive and concurrent systems ([v. 1], Specification : us ; [v. 1], Specification : gw)
Zohar Manna, Amir Pnueli
出版情報: New York ; Tokyo : Springer-Verlag, c1992-
所蔵情報: loading…
4.

図書
図書
4. Temporal logic of programs
Fred Kröger
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: EATCS monographs on theoretical computer science ; v. 8
所蔵情報: loading…
5.

図書
図書
5. Deductive reasoning
Zohar Manna, Richard Waldinger
出版情報: Reading, Mass. : Tokyo : Addison-Wesley, c1985
シリーズ名: Addison-Wesley series in computer science ; . The logical basis for computer programming ; v. 1
所蔵情報: loading…
6.

図書
図書
6. Logic, algebra, and databases (Halsted, lib. ed. - Ellis Horwood, stud. ed.)
Peter M.D. Gray
出版情報: Chichester, West Sussex, England : E. Horwood , New York : Distributor, Halsted Press, 1984
シリーズ名: Ellis Horwood series in computers and their applications ; 29
所蔵情報: loading…
7.

図書
図書
7. First-order dynamic logic (: gw ; : us)
David Harel
出版情報: Berlin ; Tokyo : Springer-Verlag, 1979
シリーズ名: Lecture notes in computer science ; 68
所蔵情報: loading…
8.

図書
図書
8. Logic for problem solving (: pbk)
Robert Kowalski
出版情報: New York : Elsevier North Holland, c1979
シリーズ名: Elsevier computer science library ; . Artificial intelligence series ; 7
所蔵情報: loading…