close
1.

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

図書
図書
2. 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-  2 v. ; 25 cm
所蔵情報: loading…
3.

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

図書
図書
4. Logic programming : functions, relations, and equations
Doug DeGroot, Gary Lindstrom
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1986  vii, 533 p. ; 24 cm
所蔵情報: loading…
5.

図書
図書
5. 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  xi, 545 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 827 . Lecture notes in artificial intelligence
所蔵情報: 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  294 p. ; 25 cm
シリーズ名: Ellis Horwood series in computers and their applications ; 29
所蔵情報: loading…
7.

図書
図書
7. Logic for problem solving (: pbk)
Robert Kowalski
出版情報: New York : Elsevier North Holland, c1979  287 p. ; 24 cm
シリーズ名: Elsevier computer science library ; . Artificial intelligence series ; 7
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼