<図書>

The MIT Press series in artificial intelligence

子書誌情報を非表示

1 Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics / Lincoln A. Wallen Cambridge, Mass. : MIT Press , c1990
2 Artificial intelligence at MIT : expanding frontiers / edited by Patrick Henry Winston with Sarah Alexandra Shellard v. 1,v. 1 : pb.,v. 2. - Cambridge, Mass. : MIT Press , c1990
3 . Artificial intelligence : an MIT perspective / edited by Patrick Henry Winston and Richard Henry Brown ; Vol. 1 Expert problem solving, natural language understanding, intelligent computer coaches, representation and learning : hard,: paper. - Cambridge, Mass. : MIT Press , c1979
4 Three-dimensional computer vision : a geometric viewpoint / Olivier Faugeras Cambridge, Mass. : MIT Press , c1993
5 Qualitative reasoning : modeling and simulation with incomplete knowledge / Benjamin Kuipers Cambridge, Mass. : MIT Press , c1994
6 Solving the frame problem : a mathematical investigation of the common sense law of inertia / Murray Shanahan Cambridge, Mass. : MIT Press , c1997
7 Machine translation : a view from the lexicon / Bonnie Jean Dorr Cambridge, Mass. : MIT Press , c1993
8 Actors : a model of concurrent computation in distributed systems / Gul A. Agha Cambridge, Mass. : MIT Press , c1986
9 Turtle geometry : the computer as a medium for exploring mathematics / Harold Abelson, Andrea A. diSessa : pbk. - Cambridge, Mass. : MIT Press , c1980
10 Knowledge-based tutoring : the GUIDON program / William J. Clancey Cambridge, Mass. : MIT Press , c1987
11 Robot manipulators : mathematics, programming, and control : the computer control of robot manipulators / Richard P. Paul Cambridge, Mass. : MIT Press , c1981
12 The acquisition of syntactic knowledge / Robert C. Berwick Cambridge, Mass. : MIT Press , c1985
13 Robot motion : planning and control / edited by Michael Brady ... [et al.] Cambridge, Mass. : MIT Press , c1982
14 Visual reconstruction / Andrew Blake and Andrew Zisserman Cambridge, Mass. : MIT Press , c1987
15 Robotics research : the third international symposium / edited by O.D. Faugeras and Georges Giralt Cambridge, Mass. : MIT Press , c1986
16 A robot ping-pong player : experiment in real-time intelligent control / Russell L. Andersson Cambridge, Mass. : MIT Press , c1988
17 Model-based control of a robot manipulator / Chae H. An, Christopher G. Atkeson, John M. Hollerbach Cambridge, Mass. : MIT Press , c1988
18 Robotics research : the fourth international symposium / edited by Robert C. Bolles and Bernard Roth Cambridge, Mass. : MIT Press , c1988
19 Machines that walk : the adaptive suspension vehicle / Shin-Min Song, Kenneth J. Waldron Cambridge, Mass. : MIT Press , c1989
20 Robot hands and the mechanics of manipulation / Matthew T. Mason, J. Kenneth Salisbury, Jr Cambridge, Mass. : MIT Press , c1985
21 AI in the 1980s and beyond : an MIT survey / edited by W. Eric L. Grimson and Ramesh S. Patil Cambridge, Mass. : MIT Press , c1987
22 Robotics research : the First International Symposium / edited by Michael Brady and Richard Paul Cambridge, Mass. : MIT Press , c1984
23 Reasoning about change : time and causation from the standpoint of artificial intelligence / Yoav Shoham Cambridge, MA : MIT Press , c1988
24 The paralation model : architecture-independent parallel programming / Gary Sabot Cambridge, Mass. : MIT Press , c1988
25 Ontic : a knowledge representation system for mathematics / David A. McAllester Cambridge, Mass. : MIT Press , c1989
26 Solid shape / Jan J. Koenderink Cambridge, Mass. : MIT Press , c1990
27 Robotics research : the Fifth International Symposium / edited by Hirofumi Miura and Suguru Arimoto Cambridge, Mass. : MIT Press , c1990
28 Experiments in the machine interpretation of visual motion / David W. Murray and Bernard F. Buxton Cambridge, Mass. : MIT Press , c1990
29 . Artificial intelligence : an MIT perspective / edited by Patrick Henry Winston and Richard Henry Brown ; Vol. 2 Understanding vision, manipulation, computer design, symbol manipulation : hard,: paper. - Cambridge, Mass. : MIT Press , c1979
30 In-depth understanding : a computer model of integrated processing for narrative comprehension / Michael George Dyer Cambridge, Mass. : MIT Press , c1983
31 Vector models for data-parallel computing / Guy E. Blelloch Cambridge, Mass. : MIT Press , c1990
32 3D model recognition from stereoscopic cues / edited by John E.W. Mayhew and John P. Frisby Cambridge, Mass. : MIT Press , c1991
33 Object recognition by computer : the role of geometric constraints / W. Eric L. Grimson ; with contributions from Tomás Lozano-Pérez, Daniel P. Huttenlocher Cambridge, Mass. : MIT Press , c1990
34 Artificial vision for mobile robots : stereo vision and multisensory perception / Nicholas Ayache ; translated from the French by Peter T. Sander Cambridge, Mass. : MIT Press , c1991
35 Made-up minds : a constructivist approach to artificial intelligence / Gary L. Drescher Cambridge, Mass. : MIT Press , c1991
36 Solving geometric constraint systems : a case study in kinematics / Glenn A. Kramer Cambridge, Mass. : MIT Press , 1992
37 Geometric invariance in computer vision / edited by Joseph L. Mundy and Andrew Zisserman Cambridge, Mass. : MIT Press , c1992
38 Truth and modality for knowledge representation / Raymond Turner Cambridge, Mass. : MIT Press , 1991
39 Vision, instruction, and action / David Chapman Cambridge, Mass. : MIT Press , 1991
40 Recent advances in qualitative physics / edited by Boi Faltings and Peter Struss Cambridge, Mass. : MIT Press , c1992
41 Active vision / edited by Andrew Blake and Alan Yuille Cambridge, Mass. : MIT Press , c1992
42 The soar papers : research on integrated intelligence / edited by Paul S. Rosenbloom, John E. Laird, and Allen Newell v. 1 - v. 2 : pbk. - Cambridge, Mass. : MIT Press , c1993
43 Building problem solvers / Kenneth D. Forbus, Johan de Kleer Cambridge, Mass. : MIT Press , c1993
44 The language complexity game / Eric Sven Ristad Cambridge, Mass. : MIT Press , c1993
45 Thinking between the lines : computers and the comprehension of causal descriptions / Gary C. Borchardt Cambridge, Mass. : MIT Press , c1994
46 Contemplating minds : a forum for artificial intelligence / edited by William J. Clancey, Stephen W. Smoliar, and Mark J. Stefik Cambridge, Mass. : MIT Press , c1994
47 Computational theories of interaction and agency / edited by Philip E. Agre and Stanley J. Rosenschein Cambridge, Mass. : MIT Press , 1996
48 The art of causal conjecture / Glenn Shafer Cambridge, Mass. : MIT Press , c1996
49 The interpretation of visual motion / Shimon Ullman Cambridge, Mass. : MIT Press , c1979
50 Computational models of discourse / edited by Michael Brady and Robert C. Berwick ; contributors, James Allen ... [et al.] Cambridge, Mass. : MIT Press , c1983
51 Legged robots that balance / Marc H. Raibert Cambridge, Mass. : MIT Press , c1986
52 A theory of syntactic recognition for natural language / Mitchell P. Marcus Cambridge, Mass. : MIT Press , c1980
53 Machine interpretation of line drawings / Kokichi Sugihara Cambridge, Mass. : MIT Press , c1986
54 Robotics research : the second international symposium / edited by Hideo Hanafusa and Hirochika Inoue Cambridge, Mass. : MIT Press , c1985
55 NETL, a system for representing and using real-world knowledge / Scott E. Fahlman Cambridge, Mass. : MIT Press , c1979
56 From images to surfaces : a computational study of the human early visual system / William Eric Leifur Grimson Cambridge, Mass. : MIT Press , c1981

書誌詳細を非表示

出版者 Cambridge, Mass. : MIT Press
別書名 その他のタイトル:MIT Press series in artificial intelligence
その他のタイトル:Artificial intelligence
本文言語 言語名不明
書誌ID 2000001955
NCID BA00010813 WCLINK

検索結果一覧に戻る ページトップ