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

Unhighlight Highlight
141. Artificial and human thinking /   Publication: Amsterdam : Elsevier Scientific Pub. Com., 1973 . XV, 385 p. : , Proceedings of a Nato symposium entitled Human thinking : computer techniques for its evaluation 24 cm. Date:1973 Availability: No items available: Checked out (1), Actions:
142. Problem-solving methods in artificial intelligence / by Nilsson, Nils J. Publication: New York : McGraw-Hill, 1971 . XIV, 255 p. : 23 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
143. Artificial intelligence : lecture notes of CAS Seminar on Artificial Intelligence held in Dubrovnik, June 29-July 11, 1970 /   Publication: Belgrade : Center for Advanced Studies, 1970 . II, 318 p. ; 28 cm. Date:1970 Availability: No items available: Checked out (1), Actions:
144. Automated reasoning : essays in honor of Woody Bledsoe /   Publication: Dordrecht : Kluwer Academic Publishers, 1991 . XI, 365 p. ; 25 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
145. Data fusion in robotics and machine intelligence /   Publication: Boston : Academic Press, 1992 . XII, 546 p. ; 24 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
146. Solving geometric constraint system : a case study in kinematics / by Kramer, Glenn A. Publication: Cambridge ; London : The MIT Press, 1992 . XI, 277 p. ; 24 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
147. Formal concepts in artificial intelligence : fundamentals / by Shinghal, Rajjan Publication: London : Chapman & Hall, 1992 . XII, 666 p. ; 23 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
148. Paradigms of artificial intelligence programming : case studies in common lisp / by Norvig, Peter Publication: San Mateo : Morgan Kauffmann Publishers, 1991 . XVI, 946 p. ; 24 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
149. Recent advances in qualitative physics /   Publication: Cambridge : The MIT Press, 1992 . XII, 453 p. ; 24 cm. Date:1992 Availability: No items available: Checked out (2), Actions:
150. Future directions in artificial intelligence : IFIP TC 12 Founding Workshop collected papers /   Publication: Amsterdam : North-Holland, 1991 . XIII, 190 p. ; 23 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
151. Do the right thing : studies in limited rationality / by Russell, Stuart Publication: Cambridge ; London : The Mit Press, 1991 . XX, 200 p. ; 24 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
152. Artificial intelligence in the Pacific Rim : proceedings of the Pacific Rim International Conference on Artificial Intelligence [PRICAI] /   Publication: Amsterdam ; Washington : Ios Press, 1991 . XX, 940 p. ; 30 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
153. The foundations of artificial intelligence : a sourcebook /   Publication: Cambridge : Cambridge University Press, 1990 . XIV, 498 p. ; , Selected papers and subsequent discussion from a NFS-supo rted wokshop on the foundations of a AI held in Las Cruces, New Mexico, in 1986 23 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
154. Readings in qualitative resasoning about physical systems / by Weld, Daniele S. Publication: San Mateo : Morgan Kaufmann Pub. ; 1990 . XII, 720 p. ; 28 cm. Availability: No items available: Checked out (1), Actions:
155. Readings in cognitive science : a perspective from psychology and artificial intelligence /   Publication: San Mateo : M. Kaufmann Publishers, 1988 . IX, 661 p. : 28 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
156. Proceedings of the 3rd International symposium on methodologies for intelligent systems held October 12-15, 1988, in Turin, Italy /   Publication: New York : North-Holland, 1988 . XII, 496 p. : 24 cm. Date:1988 Availability: No items available: Checked out (2), Actions:
157. Search in artificial intelligence /   Publication: New York : Springer-Verlag, 1988 . X, 482 p. : 25 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
158. Readings in nonmonotonic reasoning /   Publication: Los Altos : M. Kaufmann Publishers, 1987 . VIII, 481 p. : 28 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
159. Meta-level architectures and reflection /   Publication: Amsterdam ; New York : North-Holland ; New York, 1988 . 124 p. ; , Papers presented at the Workshop Meta-level Architectures and Reflection, held in Alghero, Italy, during October 27-10 1986 sponsored by the Cost-13 Project n. 21 23 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
160. The knowledge frontier : essays in the representation of knowledge /   Publication: New York : Springer-Verlag, 1987 . XXXV, 512 p. : 24 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
<< Previous 1 2 3 4 5 6 7 8 9 Next >>