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

1081. Vol. 1   Publication: Tokyo : Mita Press, 1992 . 676 p. ; 24 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
1082. Vol. 1   Publication: [S.l.] : IJCAI, 1991 . XXIII, 606 p. : 28 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
1083. Blackboard architectures and applications /   Publication: Boston : Academic Press, 1989 . XXXIX, 525 p. ; 25 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
1084. Proceedings of a meeting on electrical impedance tomography : Copenhagen 14th - 16th July 1991   Publication: [S.l. : s.n.], . VI, 284 p. ; 25 cm. Availability: No items available: Checked out (1), Actions:
1085. La grammatica universale : introduzione a Chomsky / by Cook, Vivian James Publication: Bologna : Il Mulino, 1990 . 304 p. : 22 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
1086. 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:
1087. Computers in cardiology 1986 : Boston, Massachussetts   Publication: [S.l. : s.n.], . XIX, 731 p. ; 28 cm. Availability: No items available: Checked out (1), Actions:
1088. Two-point boundary value problems: shooting methods / by Roberts, Sanford M. Publication: New York : American Elsevier Pub. Co., 1972 . XII, 269 p. : 24 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
1089. Canonical nonlinear modeling : S-system approach to understanding complexity /   Publication: New York : van Nostrand, 1991 . XII, 365 p. ; 24 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
1090. Le prospettive dell'intelligenza artificiale : atti della sessione "Applicazioni del II congresso dell'associazione" /   Publication: [S.l. : s.n.], 1991 . 223 p. ; 24 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
1091. Trends in Artificial Intelligence : 2nd Congress of the Italian Association for Artificial Intelligence, AI*IA, Palermo, Italy, October, 29-31, 1991 : proceedings /   Publication: Springer-Verlag : Berlin, 1991 . XIV, 479 p. ; 24 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
1092. Uncertainty in artificial intelligence 4 /   Publication: Amsterdam : North Holland, 1990 . XII, 422 p. ; 22 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
1093. The language of first-order logic : including the program Tarski's World / by Barwise, Jon Publication: Menlo Park : CSLI, 1990 . XIII, 259 p. ; 23 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
1094. Einfuhrung in die Allgemeine Terminologielehre und Terminologische Lexikographie / by Wuster, Eugen Publication: [S.l.] : Infoterm, 1985 . XV, 214 p. ; 20 cm. Date:1985 Availability: No items available: Checked out (1), Actions:
1095. Random processes for classical equation of mathematical physics / by Ermakov, Sergei Mikhailovich Publication: Dordrecht : Kluwer academic publishers, 1989 . XX, 282 p. ; 24 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
1096. 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:
1097. American idioms : dictionary of everyday expressions of contemporary American English / by Spears, Richard A. Publication: Bologna : Zanichelli, 1988 . XVI, 463 p. ; 25 cm. Date:1988 Availability: No items available: Checked out (2), Actions:
1098. The practice of prolog /   Publication: Cambridge : The MIT Press, 1990 . XXVIII, 314 p. ; 23 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
1099. APIM '88 : attualita' e prospettive dell'informatica in medicina : Firenze, 26-29 ottobre 1988 : atti del convegno /   Publication: [S.l. : s.n.], . X, 687 p. ; , Edizione per i partecipanti 29 cm. Availability: No items available: Checked out (1), Actions:
1100. Theoretical aspects of reasoning about knowledge : proceedings of the third conference ; March 4-7, 1990, Pacific Grove, California / by TARK Publication: [S.l. : s.n.], . VI, 305 p. ; 23 cm. Availability: No items available: Checked out (1), Actions: