1.

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

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

図書
図書
3. 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…
4.

図書
図書
4. 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…
5.

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