ヘルプ
×終了
日本語
|
English
埼玉大学図書館
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
検索条件
件名:LCSH:Reasoning -- Congresses
図書(4 件)
選択行を:
10件
20件
50件
資料名
所在
1
Analogical and inductive inference : International Workshop AII '86, Wendisch-Rietz, GDR, October 6-10, 1986 : proceedings / K.P. Jantke (ed.) ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 265).
理数学
007.1:I
2
Bounded rationality : the adaptive toolbox / edited by G. Gigerenzer and R. Selten ; program advisory committee, G. Gigerenzer ... [et al.] ; : pb.. -- 1st MIT Press pbk. ed. -- MIT Press, 2002. -- (Dahlem workshop reports).
教養(教養学部棟)
141.5:G
3
Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings / Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.). -- Springer Verlag, c1995. -- (Lecture notes in computer science ; 918 . Lecture notes in artificial intelligence).
教養共4F哲学
007.6:T
4
Theorem proving with analytic tableaux and related methods : 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings / P. Miglioli ... [et al.], (eds.). -- Springer, c1996. -- (Lecture notes in computer science ; 1071 . Lecture notes in artificial intelligence).
教養共4F哲学
007.1:T
選択行を:
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。
カナ
英字
EXC
ギリシャ
キリル
ハングル
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
초성
중성
종성