上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: Reasoning Congresses)
該当件数:42件
Bounded rationality : the adaptive toolbox / edited by G. Gigerenzer and R. Selten
Cambridge, Mass. ; London : MIT Press , c2001
図書 <1001270965>
Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings / V.W. Marek, A. Nerode, M. Truszczyński (eds.)
: gw. - Berlin ; New York : Springer Verlag , c1995. - (Lecture notes in computer science ; 928 . Lecture notes in artificial intelligence)
図書 <1000522202>
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.)
Berlin ; New York : Springer Verlag , c1995. - (Lecture notes in computer science ; 918 . Lecture notes in artificial intelligence)
図書 <1000522733>
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.
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1071 . Lecture notes in artificial intelligence)
図書 <1000537813>
Reasoning practically / edited by Edna Ullmann-Margalit
New York : Oxford University Press , 2000
図書 <1001185775>
Reasoning with uncertainty in robotics : international workshop, RUR '95, Amsterdam, The Netherlands, December 4-6, 1995 : proceedings / Leo Dorst, Michiel van Lambalgen, Frans Voorbraak (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1093 . Lecture notes in artificial intelligence)
図書 <1000540626>
Debating rationality : nonrational aspects of organizational decision making / edited by Jennifer J. Halpern and Robert N. Stern
: cloth. - Ithaca ; London : ILR Press, an imprint of Cornell University Press , 1998. - (The Frank W. Pierce memorial lectureship and conference series ; no. 10)
図書 <1001203170>
Recent advances in qualitative physics / edited by Boi Faltings and Peter Struss
Cambridge, Mass. : MIT Press , c1992. - (Artificial intelligence)
図書 <1000465385>
Proceedings of the Conference on Argumentation 1986 / Frans H. van Eemeren, Rob Grootendorst, J. Anthony Blair, Charles A. Willard (eds.)
v. 1,v. 2,v. 3. - Dordrecht, Holland : Foris , 1987. - (Studies of argumentation in pragmatics and discourse analysis ; 3, 3A, 3B)
図書 <1000652260>
Analogical and inductive inference : proceedings / International Workshop AII '86, Wendisch-Rietz, GDR, October 6-10, 1986 ; K.P. Jantke, ed
Berlin ; New York : Springer-Verlag , c1987. - (Lecture notes in computer science. ; 265)
図書 <1000587455>
Logic programming and nonmonotonic reasoning : 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings / Thomas Eiter, Wolfgang Faber, Mirosław Truszczyński (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2173 . Lecture notes in artificial intelligence)
図書 <1001324933>
Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings / Michael Gelfond, Nicola Leone, Gerald Pfeifer (eds.)
Berlin : Springer , c1999. - (Lecture notes in computer science ; 1730 . Lecture notes in artificial intelligence)
図書 <1001100204>
Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers / Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.)
Berlin : Springer , c1997. - (Lecture notes in computer science ; 1216. Lecture notes in artificial intelligence)
図書 <1000551579>
Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings / Jürgen Dix, Ulrich Furbach, Anil Nerode, (eds.)
New York : Springer , c1997. - (Lecture notes in computer science ; 1265 . Lecture notes in artificial intelligence)
図書 <1000554127>
Reasoning and cognition / co-editors, Daniel Andler ... [et al.] ; Mitsuhiro Okada, (coordinating editor)
Tokyo : Keio University Press , 2006. - (Series of Centre for Integrated Research on the Mind ; . Interdisciplinary conference series on reasoning studies ; v. 2)
図書 <1001798798>
Analogical and inductive inference : International Workshop AII '89, Reinhardsbrunn Castle, GDR, October 1-6, 1989, proceedings / K.P. Jantke (ed.)
: U.S.,: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 397 . Lecture notes in artificial intelligence)
図書 <1000352097>
Analogical and inductive inference : International Workshop AII '92, Dagstuhl Castle, Germany, October 5-9, 1992 : proceedings / K.P. Jantke (ed.)
: us,: gw. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 642 . Lecture notes in artificial intelligence)
図書 <1000458431>
European Workshop on Planning : EWSP '91, Sankt Augustin, FRG, March 18-19, 1991 : proceedings / J. Hertzberg, ed
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1991. - (Lecture notes in computer science ; 522 . Lecture notes in artificial intelligence)
図書 <1000431877>
Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 1988 : proceedings / M. Reinfrank, [editor] ... [et al.]
Berlin ; New York : Springer-Verlag , c1989. - (Lecture notes in computer science. ; 346.). - (Lecture notes in computer science. ; Lecture notes in artificial intelligence.)
図書 <1000587473>
Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR ʾ96, Bonn, Germany, June 3-7, 1996 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1085 . Lecture notes in artificial iintelligence)
図書 <1000539265>