尾道市立大学の蔵書を検索します。
日本の論文を検索します。
大学等の一般公開されている論文・情報を検索します。
大学等研究機関の蔵書を検索します。
国立国会図書館の蔵書を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 511.3)
該当件数:4件
地盤の科学 : 地面の下をのぞいてみると・・・・・・ / 土木学会関西支部編
東京 : 講談社 , 1995.9. - (ブルーバックス ; B-1088)
図書
Computability and logic / George Boolos, Richard Jeffrey
pbk.. - 2nd ed. - Cambridge [Eng.] ; New York : Cambridge University Press , 1980
Computability & unsolvability / Martin Davis
: pbk. - Dover ed. - New York : Dover , 1982. - (Dover books on advanced mathematics)
Theory of deductive systems and its applications / S.Yu. Maslov ; translated by Michael Gelfond and Vladimir Lifschitz
Cambridge, Mass. : MIT Press , c1987. - (MIT Press series in the foundations of computing)