close
1.

図書
図書
1. Machine learning : an artificial intelligence approach ([v. 1] - v. 4)
contributors, Saul Amarel ... [et al.] ; editors, Ryszard S. Michalski, Jaime G. Carbonell, Tom M. Mitchell
出版情報: San Mateo, Calif. : Morgan Kaufmann, c1983-c1994
所蔵情報: loading…
2.

図書
図書
2. Readings in artificial intelligence and databases
edited by John Mylopolous and Michael Brodie
出版情報: San Mateo, Calif. : M. Kaufmann, c1989
所蔵情報: loading…
3.

図書
図書
3. Neural computing architectures : the design of brain-like machines
edited by Igor Aleksander
出版情報: London : North Oxford, 1989
所蔵情報: loading…
4.

図書
図書
4. Logic grammars (: New York ; : Berlin)
Harvey Abramson, Veronica Dahl
出版情報: New York ; Tokyo : Springer-Verlag, c1989
シリーズ名: Symbolic computation ; . Artificial intelligence
所蔵情報: loading…
5.

図書
図書
5. Artificial intelligence, simulation, and modeling
edited by Lawrence E. Widman, Kenneth A. Loparo, and Norman R. Nielsen
出版情報: New York : Wiley, c1989
所蔵情報: loading…
6.

図書
図書
6. The emperor's new mind : concerning computers, minds, and the laws of physics
Roger Penrose ; foreword by Martin Gardner
出版情報: Oxford ; Tokyo : Oxford University Press, 1989
所蔵情報: loading…
7.

図書
図書
7. From modal logic to deductive databases : introducing a logic based approach to artificial intelligence
editor, André Thayse ; authors, Paul Gochet ... [et al.], with the collaboration of Philippe Delsarte
出版情報: Chichester ; New York : Wiley, c1989
所蔵情報: loading…
8.

図書
図書
8. A logical language for data and knowledge bases
Shamim Naqvi, Shalom Tsur
出版情報: New York : Computer Science Press, c1989
シリーズ名: Principles of computer science series
所蔵情報: loading…
9.

図書
図書
9. An introduction to default logic (: us ; : gw)
Philippe Besnard
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Symbolic computation ; . Artificial intelligence
所蔵情報: loading…
10.

図書
図書
10. Integration of visual modules : an extension of the Marr paradigm
John (Yiannis) Aloimonos, David Shulman
出版情報: Boston ; Tokyo : Academic Press, c1989
所蔵情報: loading…
11.

図書
図書
11. The use of knowledge in analogy and induction (: uk : pbk. ; : us)
Stuart J. Russell
出版情報: London : Pitman , San Mateo, Calif. : Morgan Kaufmann Publishers, 1989
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
12.

図書
図書
12. Deduction systems in artificial intelligence (: E. Horwood ; : Halsted Press)
editors, Karl Hans Bläsius, Hans-Jürgen Bürckert
出版情報: Chichester, [England] : Ellis Horwood Limited , New York : Halsted Press, 1989
シリーズ名: Ellis Horwood series in artificial intelligence
所蔵情報: loading…
13.

図書
図書
13. Object-oriented programming for artificial intelligence : a guide to tools and system design
Ernest R. Tello
出版情報: Reading, Mass. : Addison-Wesley, c1989
所蔵情報: loading…
14.

図書
図書
14. Computers and thought : a practical introduction to artificial intelligence
Mike Sharples ... [et al.]
出版情報: Cambridge, Mass. : MIT Press, c1989
シリーズ名: Explorations in cognitive science ; 5
所蔵情報: loading…
15.

図書
図書
15. CONSAT : a system for constraint satisfaction (: uk ; : us)
Hans Werner Güsgen
出版情報: London : Pitman , San Mateo, Calif. : M. Kaufmann, 1989
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
16.

図書
図書
16. Artificial intelligence : the very idea. 1st MIT Press paperback ed (: pbk)
John Haugeland
出版情報: Cambridge, Mass. : MIT Press, 1989
シリーズ名: Bradford book
所蔵情報: loading…
17.

図書
図書
17. Artificial intelligence in design : proceedings of the Fourth International Conference on the Applications of Artificial Intelligence in Engineering, Cambridge, UK, July 1989 (: CMP : uk - : Springer : us)
editor, J.S. Gero
出版情報: Southampton, England : Computational Mechanics , New York ; Tokyo : Springer-Verlag, c1989
所蔵情報: loading…
18.

図書
図書
18. AISB89 : proceedings of the seventh conference of the society for the study of artificial intelligence and simulation of behaviour (: Pitman ; : Morgan Kaufmann)
AISB89 ; Cohn, Anthony ; Dennison, Judith
出版情報: London : Pitman, c1989
所蔵情報: loading…
19.

図書
図書
19. Distributed artificial intelligence ([v. 1] : Pitman - v. 2 : Kaufmann)
edited by Michael N. Huhns
出版情報: London : Pitman , Los Altos, Calif. ; San Mateo, Calif. : Morgan Kaufmann, 1987-<1989>
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
20.

図書
図書
20. Natural computation (: hard ; : pbk.)
Whitman Richards, editor
出版情報: Cambridge, Mass. : MIT Press, c1988
所蔵情報: loading…
21.

図書
図書
21. Advanced topics in artificial intelligence : 2nd Advanced Course, ACAI '87, Oslo, Norway, July 28-August 7, 1987 (: gw ; : us)
Rolf T. Nossum (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 345 . Lecture notes in artificial intelligence
所蔵情報: loading…
22.

図書
図書
22. Pattern recognition and artificial intelligence : towards an integration : proceedings of an international workshop held in Amsterdam, May 18-20, 1988
edited by Edzard S. Gelsema and Laveen N. Kanal
出版情報: Amsterdam ; Tokyo : North Holland , New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988
シリーズ名: Machine intelligence and pattern recognition ; v. 7
所蔵情報: loading…
23.

図書
図書
23. Learning search control knowledge : an explanation-based approach
Steven Minton
出版情報: Boston : Kluwer Academic, c1988
シリーズ名: The Kluwer international series in engineering and computer science / the text based on collation of the early editions, by R.W. Chapman ; SECS 61 . Knowledge representation, learning and expert systems / the text based on collation of the early editions, by R.W. Chapman
所蔵情報: loading…
24.

図書
図書
24. Formal aspects of artificial intelligence (: E. Horwood ; : Halsted Press)
Ajit Narayanan
出版情報: New York : Halsted Press, , 1988 , Chichester, West Sussex, England : E. Horwood, , 1988
シリーズ名: Ellis Horwood series in artificial intelligence foundations and concepts / prepared and issued by Gmelin-Institut für Anorganische Chemie der Max-Planck-Gesellschaft zur Förderung der Wissenschaften ; director, Ekkehard Fluck ; On being a machine / prepared and issued by Gmelin-Institut für Anorganische Chemie der Max-Planck-Gesellschaft zur Förderung der Wissenschaften ; director, Ekkehard Fluck ; v. 1
所蔵情報: loading…
25.

図書
図書
25. Artificial intelligence and expert systems : case studies in the knowledge domain of archaeology (E. Horwood ; Halsted Press)
J.-C. Gardin ; with O. Guillaume ... [et al.] ; translator, Richard Ennals ; translation editor, May Katzen
出版情報: Chichester [England] : E. Horwood , New York : Halsted Press, 1988
シリーズ名: Ellis Horwood series in artificial intelligence foundations and concepts
所蔵情報: loading…
26.

図書
図書
26. Artificial intelligence : manufacturing theory and practice
[edited by] Soundar Kumara, Allen Soyster, Rangasami Kashyap
出版情報: Norcross, GA : Institute of Industrial Engineers, Industrial Engineering and Management Press, 1988
所蔵情報: loading…
27.

図書
図書
27. Semantic networks : an evidential formalization and its connectionist realization (: Pitman ; : Kaufmann)
Lokendra Shastri
出版情報: London : Pitman , Los Altos, Calif. : M. Kaufmann, 1988
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
28.

図書
図書
28. Computational philosophy of science
Paul Thagard
出版情報: Cambridge, Mass. : MIT Press, c1988
所蔵情報: loading…
29.

図書
図書
29. Reason maintenance systems and their applications (: E. Horwood ; : Halsted Press)
editors, Barbara Smith and Gerald Kelleher
出版情報: Chichester, West Sussex : E. Horwood , New York : Halsted Press, 1988
シリーズ名: Ellis Horwood series in artificial intelligence
所蔵情報: loading…
30.

図書
図書
30. AI and expertise : heuristic search, inference engines, automatic proving (: Ellis Horwood Ltd. ; : Halsted Press)
Henri Farreny ; translator, Jonathan Barchan
出版情報: Chichester : E. Horwood , New York : Halsted Press, c1988
シリーズ名: Ellis Horwood series in artificial intelligence
所蔵情報: loading…
31.

図書
図書
31. Parallel computation and computers for artificial intelligence
edited by Janusz S. Kowalik
出版情報: Boston : Kluwer Academic Publishers, c1988
シリーズ名: The Kluwer international series in engineering and computer science ; . Parallel processing and fifth generation computing ; SECS 26
所蔵情報: loading…
32.

図書
図書
32. Meta-level architectures and reflection
edited by Pattie Maes, Daniele Nardi
出版情報: Amsterdam ; Tokyo : North-Holland , New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988
所蔵情報: loading…
33.

図書
図書
33. Reasoning with incomplete information (uk. ; us.)
David W. Etherington
出版情報: London : Pitman , Los Altos, Calif. : M. Kaufmann Publishers, 1988
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
34.

図書
図書
34. A robot ping-pong player : experiment in real-time intelligent control
Russell L. Andersson
出版情報: Cambridge, Mass. : MIT Press, c1988
シリーズ名: The MIT Press series in artificial intelligence
所蔵情報: loading…
35.

図書
図書
35. Neural networks and natural intelligence (: pbk)
edited by Stephen Grossberg
出版情報: Cambridge : MIT Press, c1988
所蔵情報: loading…
36.

図書
図書
36. Formal methods in artificial intelligence
by J.-P. Delahaye ; translated by J.Howlett ; foreword by Maurice Nivat
出版情報: London : North Oxford, c1987
所蔵情報: loading…
37.

図書
図書
37. Real brains, artificial minds
edited by John L. Casti, Anders Karlqvist
出版情報: New York : North-Holland : Elsevier Science Pub. Co., [distributor], c1987
所蔵情報: loading…
38.

図書
図書
38. Applications of expert systems : based on the proceedings of the second Australian conference ([v.1] ; v. 2)
edited by J. Ross Quinlan
出版情報: Sydney ; Tokyo : Turing Institute Press in association with Addison-Wesley Pub. Co., c1987-[c1989]
所蔵情報: loading…
39.

図書
図書
39. Readings in nonmonotonic reasoning
edited by Matthew L. Ginsberg
出版情報: Los Altos, Calif. : M. Kaufmann Publishers, c1987
所蔵情報: loading…
40.

図書
図書
40. The Knowledge frontier : essays in the representation of knowledge
Nick Cercone, Gordon McCalla, editors
出版情報: New York ; Tokyo : Springer-Verlag, c1987
シリーズ名: Symbolic computation ; . Artificial intelligence
所蔵情報: loading…
41.

図書
図書
41. Artificial intelligence : an applications-oriented approach
Daniel Schutzer
出版情報: New York : Van Nostrand Reinhold, c1987
所蔵情報: loading…
42.

図書
図書
42. Theory of deductive systems and its applications
S.Yu. Maslov ; translated by Michael Gelfond and Vladimir Lifschitz
出版情報: Cambridge, Mass. : MIT Press, c1987
シリーズ名: MIT Press series in the foundations of computing
所蔵情報: loading…
43.

図書
図書
43. Approximate reasoning in intelligent systems, decision and control. 1st ed.
edited by E. Sanchez and L.A. Zadeh
出版情報: Oxford ; Tokyo : Pergamon Press, 1987
所蔵情報: loading…
44.

図書
図書
44. Logical foundations of artificial intelligence
Michael R. Genesereth and Nils J. Nilsson
出版情報: Los Altos, Calif. : Morgan Kaufmann, c1987
所蔵情報: loading…
45.

図書
図書
45. A many-sorted calculus based on resolution and paramodulation (: Pitman ; : Morgan Kaufmann)
Christoph Walther
出版情報: London : Pitman , Los Altos, Calif. : Morgan Kaufmann Publishers, 1987
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
46.

図書
図書
46. How machines think : a general introduction to artificial intelligence
Nigel Ford
出版情報: Chichester [West Sussex] ; New York : Wiley, c1987
所蔵情報: loading…
47.

図書
図書
47. AI in the 1980s and beyond : an MIT survey
edited by W. Eric L. Grimson and Ramesh S. Patil
出版情報: Cambridge, Mass. : MIT Press, c1987
シリーズ名: The MIT Press series in artificial intelligence
所蔵情報: loading…
48.

図書
図書
48. Automatic correction and improvement of programs (: us ; : uk)
H. Wertz ; [translator, Jonathan Barchan]
出版情報: Chichester : Ellis Horwood , New York : Halsted Press, c1987
シリーズ名: Ellis Horwood books in computing science ; . Series in artificial intelligence
Ellis Horwood series in artificial intelligence
所蔵情報: loading…
49.

図書
図書
49. Intelligence : the eye, the brain, and the computer
Martin A. Fischler, Oscar Firschein
出版情報: Reading, Mass. ; Tokyo : Addison-Wesley, c1987
所蔵情報: loading…
50.

図書
図書
50. Legged robots that balance
Marc H. Raibert
出版情報: Cambridge, Mass. : MIT Press, c1986
シリーズ名: The MIT Press series in artificial intelligence
所蔵情報: loading…