京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(標準分類: QA9.35)
該当件数:1件
The computational complexity of logical theories / Jeanne Ferrante, Charles W. Rackoff
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1979. - (Lecture notes in mathematics ; 718)
図書