帝京科学大学の蔵書を検索できます。
他大学図書館等の蔵書を検索できます。
国内の学協会誌や研究紀要などを中心とした論文等を検索できます。
国立国会図書館、都道府県立図書館、政令指定都市の市立図書館等の蔵書を検索できます。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: QA9)
該当件数:2件
Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee
Boston ; Tokyo : Academic Press , 1987, c1973. - (Computer science classics)
図書
The common sense of the exact sciences / William Kingdon Clifford ; with a new introduction by Andrew Pyle
London : Routledge/Thoemmes Press , 1996. - (The origins of modern philosophy of science, 1830-1914)