1.

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

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