選択資料から書架並びで前後20冊ずつを表示します。
Spatial cognition : an interdisciplinary approach to representing and processing spatial knowledge / Christian Freksa, Christopher Habel , Karl F. Wender (eds.)
書庫2階
Spatial cognition II : integrating abstract theories, empirical studies, formal methods, and practical applications / Christian Freksa ... [et al.] (eds.)
書庫2階
Learning and reasoning with complex representations : PRICAI'96 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations, Cairns, Australia, August 26-30, 1996 : selected papers / Grigoris Antoniou, Aditya Ghose, Miroslaw Truszczyński, eds
書庫2階
Conceptual structures : theory and implementation : 7th annual workshop, Las Cruces, NM, USA, July 1992 : proceedings / Heather D. Pfeiffer, Timothy E. Nagle (eds.)
書庫2階
Conceptual graphs for knowledge representation : First International Conference on Conceptual Structures, ICCS '93, Quebec City, Canada, August 4-7, 1993 : proceedings / Guy W. Mineau, Bernard Moulin, John F. Sowa (eds.)
書庫2階
Conceptual structures : current practices : Second International Conference on Conceptual Structures, ICCS '94, College Park, Maryland, USA, August 16-20, 1994 : proceedings / William M. Tepfenhart, Judith P. Dick, John F. Sowa (eds.)
書庫2階
Conceptual structures : applications, implementation, and theory : Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14-18, 1995 : proceedings / Gerard Ellis ... [et al.] (eds.)
書庫2階
Conceptual structures: knowledge representation as interlingua : 4th International Conference on Conceptual Structures, ICCS '96, Sydney, Australia, August 19-22, 1996 : proceedings / Peter W. Eklund, Gerard Ellis, Graham Mann (eds.)
書庫2階
Conceptual structures : fulfilling Peirce's dream : Fifth International Conference on Conceptual Structures, ICCS'97, Seattle, Washington, USA, August 3-8, 1997 : proceedings / Dickson Lukose ... [et al.] (Eds.)
書庫2階
Conceptual structures : theory, tools, and applications : 6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August 10-12, 1998 : proceedings / Marie-Laure Mugnier, Michel Chein, (eds.)
書庫2階
Conceptual structures : standards and practices : 7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999 : proceedings / William Tepfenhart, Walling Cyre (eds.)
書庫2階
Conceptual structures : logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000 : proceedings / Bernhard Ganter, Guy W. Mineau (eds.)
書庫2階
Conceptual structures : broadening the base : 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30 - August 3, 2001 : proceedings / Harry S. Delugach, Gerd Stumme (eds.)
書庫2階
The description logic handbook : theory, implementation, and applications / edited by Franz Baader ... [et al.]
: hbk
書庫2階
Solving the frame problem : a mathematical investigation of the common sense law of inertia / Murray Shanahan
書庫2階
Proceedings of Second Asian Mathematical Conference 1995 : Suranaree University of Technology, Nakhon Ratchasima, Thailand, 17-20 October, 1995 / editors, S. Tangmanee, E. Schulz
書庫2階
Mathematics into the twenty-first century : 1988 centennial symposium, August 8-12 / Felix E. Browder, editor
書庫2階
Proceedings of the International Congress of Mathematicians, August 3-11, 1994, Zürich, Switzerland / [editor, S. D. Chatterji]
1
書庫2階