帝京科学大学の蔵書を検索できます。
他大学図書館等の蔵書を検索できます。
国内の学協会誌や研究紀要などを中心とした論文等を検索できます。
国立国会図書館、都道府県立図書館、政令指定都市の市立図書館等の蔵書を検索できます。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Reasoning)
該当件数:3件
Formal methods in artificial intelligence / Allan Ramsay
: pbk.. - Cambridge ; New York : Cambridge University Press , 1988. - (Cambridge tracts in theoretical computer science ; 6)
図書
The language and logic of philosophy / Hubert G. Alexander
: pbk.. - Lanham, MD : University Press of America , c1988
The Frame problem in artificial intelligence : proceedings of the 1987 workshop, April 12-15, 1987, Lawrence, Kansas / edited by Frank M. Brown ; cosponsored by the American Association for Artificial Intelligence ... [et al.]
Los Altos, Calif. : M. Kaufmann Publishers , c1987