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

101. Essays in logical semantics / by Benthem, John A. K. van Publication: Dordrecht ; Boston : D. Reidel Pub. Co., 1986 . XI, 225 p. ; 23 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
102. Constraint programming languages : their specification and generation / by Leler, William Publication: Reading : Addison-Wesley Pub. Co., 1988 . VI, 202 p. : 24 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
103. Mirrors of minds : patterns of experience in educational computing : papers from the Center for Children and Technology, Bank Street College /   Publication: Norwood, [N.J.] : Ablex Pub. Corp., 1987 . XVII, 329 p. : 24 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
104. Thermodynamics and control of biological free-energy transduction / by Westerhoff, Hans V. Publication: Amsterda ; New York : Elsevier Science Pub. Co., 1987 . XXXI, 568 p. : 25 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
105. Functional integration and semiclassical expansions / by Langouche, Flor Publication: Dordrecht ; Boston : Reidel Pub. Co., 1982 . XII, 313 p. : 23 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
106. Planning, geometry, and complexity of robot motion /   Publication: Norwood : Ablex Pub. Corp., 1987 . IX, 337 p. : 24 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
107. The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse / by Benthem, John F. A. van Publication: Dordrecht ; Boston : Reidel Pub. Co., 1983 . XVI, 260 p. : 23 cm. Date:1983 Availability: No items available: Checked out (1), Actions:
108. Probability and statistics / by Lass, Harry Publication: Reading : Addison-Wesley Pub. Co., 1971 . IX, 470 p. : 25 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
109. Understanding computers and cognition : a new foundation for design / by Winograd, Terry Publication: Norwood : Ablex Pub. Co., 1986 . XIV, 207 p. ; , "Version of December 21, 1984" 24 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
110. Expert systems : techniques, tools, and applications / by Klahr, Philip Publication: Reading : Addison-Wesley Pub. Co., 1986 . 441 p. : 24 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
111. Meaning and cognitive structure : issues in the computational theory of mind /   Publication: Norwood : Ablex Pub. Co., 1986 . XI, 264 p. ; 24 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
112. Prolog /   Publication: Wokingham : Addison-Wesley Pub. Co., 1986 . XI, 260 p. : 23 cm. Date:1986 Availability: No items available: Checked out (2), Actions:
113. Introduction to robot programming in BASIC / by Rony, Peter R. Publication: Reston : Reston Pub., 1985 . VIII, 376 p. : 28 cm. Date:1985 Availability: No items available: Checked out (1), Actions:
114. Inside Macintosh / by Rose, Caroline Publication: Reading : Addison-Wesley Pub. Co., 1988 . : in 3 > : ill. (some c Date:1988 Availability: No items available: Checked out (1), Actions:
115. Introduction to robotics : mechanics & control / by Craig, John Publication: Reading : Addison-Wesley Pub. Co., 1986 . VIII, 303 p. : 24 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
116. Compilers : principles, techniques, and tools / by Aho, Alfred V. Publication: Reading : Addison-Wesley Pub. Co., 1986 . X, 796 p. : 24 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
117. Medical equipment management in hospitals /   Publication: Chicago : American Hospital Pub., 1982 . VII, 687 p. : 28 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
118. Empirical analysis for expert systems / by Politakis, Peter G. Publication: Boston : Pitman Advanced Pub. Program, 1985 . 123 p. ; , Revision of thesis (Ph.D.) - Rutgers University. 23 cm. Date:1985 Availability: No items available: Checked out (1), Actions:
119. Industrial robots and robotics / by Kafrissen, Edward Publication: Reston : Reson Pub. Co., 1984 . XIV, 398 p. : 25 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
120. Heuristic reasoning about uncertainty : an artificial intelligence approach / by Cohen, Paul R. Publication: Boston : Pitman Advanced Pub. Program, 1985 . 204 p. ; 25 cm. Date:1985 Availability: No items available: Checked out (1), Actions: