Area della Ricerca di Padova
Corso Stati Uniti,4 35127 Padova (ITALY) - Tel.+39 049 8295611 - Fax.+39 049 8295671

Unhighlight Highlight
41. 10th International Conference on automated deduction. Kaiserslautern, FRG, July 1990 : proceedings /   Publication: Berlin : Springer-Verlag, 1990 . XVI, 688 p. ; 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
42. Extension of logic programming : International workshop, Tubingen, FRG, December 8-10, 1989 : proceedings /   Publication: Berlin : Springer-Verlag, 1991 . VIII, 364 p. ; 24 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
43. Logics in AI : European Workshop JELIA '90, Amsterdam, The Nederlands, September 10-14, 1990, proceedings /   Publication: Berlin ; New York : Springer-Verlag, 1991 . IX, 561 p. : 25 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
44. Robot hands and the mechanics of manipulation / by Mason, Matthew T. Publication: Cambridge : The MIT Press, 1985 . XXVIII, 298 p. ; 22 cm. Date:1985 Availability: No items available: Checked out (1), Actions:
45. Robot motion : planning and control /   Publication: Cambridge : The MIT Press, 1982 . XV, 585 p. : 24 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
46. Topics in expert system design : methodologies and tools / by Guida, Giovanni Publication: Amsterdam : North Holland, 1989 . VIII, 441 p. ; 24 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
47. The acquisition of strategic knowledge / by Gruber, Thomas R. Publication: Boston : Academic Press, 1989 . XXIV, 311 p. : , Revision of the author's thesis (Ph. D.) - University of Massachusetts. 24 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
48. Exemplar-based knowledge acquisition : a unified approach to concept representation, classification, and learning / by Bareiss, Ray Publication: Boston : Academic Press, 1989 . XII, 169 p. : 24 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
49. Intelligent systems : state of the art and future directions / by Ras, Zbigniew Publication: New York : E. Horwood, 1990 . VII, 529 p. : 25 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
50. Connectionist robot motion planning : a neurally-insipired approach to visually-guided reaching / by Mel, Bartlett W. Publication: Boston : Academic Press, 1990 . XVI, 165 p. : 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
51. Minimalist mobile robotics : a colony-style architecture for an artificial creature / by Connell, Jonathan H. Publication: Boston : Academic Press, 1990 . XVII, 175 p. : 24 cm. Date:1990 Availability: No items available: Checked out (2), Actions:
52. Search, inference and dependencies in artificial intelligence / by Shanahan, Murray Publication: Chichester : Ellis Horwood Limited, 1989 . 140 p. ; 24 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
53. Artificial intelligence : a knowledge-based approach / by Firebaugh, Morris W. Publication: Boston : PWS-KENT Publishing Company, 1989 . XXIV, 740 p. : 24 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
54. Machine learning, meta-reasoning, and logics /   Publication: Boston : Kluwer Academic Publishers, 1990 . XX, 328 p. : 26 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
55. Aspects of artificial intelligence /   Publication: Dordrecht : Kluwer Academic Publishers, 1988 . XIII, 385 p. ; 23 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
56. Artificial intelligence: its scope and limits /   Publication: Dordrecht : Kluwer Academic Publishers, 1990 . XVII, 338 p. ; 23 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
57. Sorts and types in artificial intelligence : workshoop, Eringerfeld, FRG, April 24-26, 1989 proceedings /   Publication: Berlin : Springer Verlag, 1990 . VIII, 307 p. ; 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
58. Computational aspects of an order-sorted logic with term declarations / by Schmidt Schauss, M. Publication: Berlin : Springer Verlag, 1989 . VIII, 171 p. ; 24 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
59. Foundations of knowledge base management : contributions from logic, databases, and artificial intelligence applications /   Publication: Berlin ; New York : Springer-Verlag, 1989 . XIV, 579 p. : , Proceedings of the Xania Workshop on Knowledge Bade Management Systems, Crete, June 1985 25 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
60. Deduction systems in artificial intelligence /   Publication: Chichester : Ellis Horwood, 1989 . 238 p. ; 24 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
<< Previous 1 2 3 4 5 6 7 8 9 Next >>