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

1301. Innovative applications of artificial intelligence 3 : proceedings /   Publication: Menlo Park : AAAI Press, 1991 . XI, 362 p. ; 23 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
1302. 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:
1303. 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:
1304. Scandinavian Conference on Artificial Intelligence : Odin's ravens : proceedings, Roskilde, Denmark, 21-24 May 1991 / by Scandinavian conference on artificial intelligence Publication: Amsterdam : IOS Press, 1991 . 339 p. ; 24 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
1305. Computation and cognition : toward a foundation for cognitive science / by Pylyshyn, Zenon W. Publication: Cambridge : The MIT Press, 1984 . XXIII, 292 p. : 24 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
1306. Categories, types, and structures : an introduction to category theory for the working computer scientist / by Asperti, Andrea Publication: Cambridge : The Mit Press, 1991 . XI, 307 p. ; 24 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
1307. Decomposability : queueing and computer system applications / by Courtois, Pierre Jacques Publication: New York : Academic Press, 1977 . XIII, 201 p. : 24 cm. Date:1977 Availability: No items available: Checked out (1), Actions:
1308. Artificial vision for mobile robots : stereo vision and multisensory perception / by Ayache, Nicholas Publication: Cambridge : The MIT Press, 1991 . 342 p. : 24 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
1309. Topics in advanced language implementation /   Publication: Cambridge ; London : The MIT Press, 1991 . X, 402 p. ; 24 cm. Date:1991 Availability: No items available: Checked out (2), Actions:
1310. Programming in scheme / by Eisenberg, Michael Publication: Cambridge : The MIT Press, 1990 . XVI, 304 p. ; 28 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
1311. Object recognition by computer : the role of geometric constraints / by Grimson, William Eric Leifur Publication: Cambridge : MIT Press, 1990 . XV, 512 p. : 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
1312. Recursive function theory and logic / by Yasuhara, Ann Publication: New York : Academic Press, 1971 . XV, 338 p. ; 24 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
1313. Modeling and parameter estimation in respiratory control /   Publication: New York ; London : Plenum Press, 1989 . X, 208 p. ; 25 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
1314. Large deviations / by Deuschel, Jean-Dominique Publication: Boston : Academic Press, 1989 . XIV, 307 p. ; , Rev. ed. of: An introduction to the theory of large deviations 24 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
1315. Connections and symbols /   Publication: Cambridge ; London : The MIT Press, 1988 . 255 p. ; , Reprinted from Cognition: international journal of cognitive science, vol. 28 (1988) 23 cm. Date:1988 Availability: No items available: Checked out (2), Actions:
1316. Computer simulation in human population studies /   Publication: New York : Academic Press, 1974 . XX, 518 p. ill. ; , Proceedings of a conference sponsored by the Social Scienc e Research Council and held at the Pennsylvania State University, June 12-14, 1972 24 cm. Date:1974 Availability: No items available: Checked out (1), Actions:
1317. Theory of lie groups / by Chevalley, Claude Publication: Princeton : Princeton University Press, 1946 . XII, 217 p. ; 23 cm. Date:1946 Availability: No items available: Checked out (1), Actions:
1318. Artificial neural systems : foundations, paradigms, applications, and implementations / by Simpson, Patrick K. Publication: New York : Pergamon Press, 1989 . XIV, 210 p. ; 25 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
1319. Programming in Martin Lof' s type theory : an introduction / by Nordstrom, Bengt Publication: Oxford : Clarendon Press, 1990 . 221 p. ; 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
1320. 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: