1.

図書
図書
1. Logic for applications (: us ; : gw)
Anil Nerode, Richard A. Shore
出版情報: New York : Springer-Verlag, c1993
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
2.

図書
図書
2. Formal methods in artificial intelligence
Allan Ramsay
出版情報: Cambridge ; New York : Cambridge University Press, 1988
シリーズ名: Cambridge tracts in theoretical computer science ; 6
所蔵情報: loading…
3.

図書
図書
3. Elements of the theory of computation (: UK)
Harry R. Lewis, Christos H. Papadimitriou
出版情報: Englewood Cliffs, N.J. : Prentice-Hall , London : Prentice-Hall International, c1981
シリーズ名: Prentice-Hall software series
所蔵情報: loading…
4.

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

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

図書
図書
6. Logics for artificial intelligence
Raymond Turner
出版情報: Chichester : E. Horwood, 1985, c1984
シリーズ名: Ellis Horwood series in artificial intelligence
所蔵情報: loading…
7.

図書
図書
7. A first course in formal logic and its applications in computer science
R.D. Dowsing, V.J. Rayward-Smith, C.D. Walter
出版情報: Oxford ; Boston : Blackwell Scientific Publications, 1986
シリーズ名: Computer science texts / consulting editors K.J. Bowcock, Dr. A.M. Gibbons, M.C. Henson
所蔵情報: loading…
8.

図書
図書
8. Term logic with choice operator
Hans Hermes
出版情報: Berlin ; New York : Springer-Verlag, 1970
シリーズ名: Lecture notes in mathematics ; 6
所蔵情報: loading…
9.

図書
図書
9. Lectures on non-standard analysis
Moshé Machover, Joram Hirschfeld
出版情報: Berlin : Springer, 1969
シリーズ名: Lecture notes in mathematics ; 94
所蔵情報: loading…
10.

図書
図書
10. Process algebra
J.C.M. Baeten, W.P. Weijland
出版情報: Cambridge ; New York : Cambridge University Press, 1990
シリーズ名: Cambridge tracts in theoretical computer science ; 18
所蔵情報: loading…