京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(標準分類: QA9.615)
該当件数:2件
Computability & unsolvability / Martin Davis
: pbk. - Dover ed. - New York : Dover , 1982. - (Dover books on advanced mathematics)
図書
Computations in higher types / Johan Moldestad
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in mathematics ; 574)