1.

図書
図書
1. The computational complexity of logical theories (: Berlin ; : New York)
Jeanne Ferrante, Charles W. Rackoff
出版情報: Berlin ; New York : Springer-Verlag, 1979
シリーズ名: Lecture notes in mathematics ; 718
所蔵情報: loading…
2.

図書
図書
2. Predicate-oriented database search algorithms
Dan E. Willard
出版情報: New York : Garland Pub., 1979
シリーズ名: Outstanding dissertations in the computer sciences
所蔵情報: loading…