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

81. Logic based knowledge representation / by Jackson, Peter Publication: Cambridge : The MIT Press, 1989 . XV, 255 p. ; 23 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
82. Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 1988 : proceedings /   Publication: Berlin ; New York : Springer-Verlag, 1989 . XIV, 237 p. ; 24 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
83. Programming languages implementation and logic programming : proceedings of the International Workshop PLILP '88, Orleans, France, May16-18, 1988 /   Publication: Berlin ; New York : Springer-Verlag, 1989 . VI, 299 p. : 25 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
84. Recursively enumerable sets and degrees : a study of computable functions and computably generated sets / by Soare, Robert I. Publication: Berlin : Springer-Verlag, 1987 . XVII, 437 p. : 25 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
85. Formal methods in artificial intelligence / by Ramsay, Allan Publication: Cambridge ; New York : Cambridge University Press, 1988 . IX, 279 p. : 26 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
86. Vol. 1   Publication: Cambridge : The MIT Press, 1988 . XX, 858 p. : 23 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
87. Automated theorem-proving in non-classical ligics / by Thistlewaite, Paul B. Publication: London : Pitman ; New York : Wiley, 1988 . 154 p. : 25 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
88. Foundations of logic and functional programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings /   Publication: Berlin ; New York : Springer-Verlag, 1988 . IV, 218 p. : 25 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
89. Vol. 1   Publication: Cambridge : The MIT Press, 1987 . XIV, 555 p. : 23 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
90. Parallel logic programming in parlog : the language and its implementation / by Gregory, Steve Publication: Workingham : Addison-Wesley, 1987 . 217 p. : 24 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
91. The art of Prolog : advanced programming techniques / by Sterling, Leon Publication: Cambridge : The MIT Press, 1986 . XXVIII, 437 p. : 24 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
92. Introduction to logic programming / by Hogger, Christopher John Publication: London ; Orlando : Academic Press, 1984 . XII, 278 p. : 24 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
93. Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985 /   Publication: Berlin ; New York : Springer-Verlag, 1986 . IX, 311 p. : 25 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
94. Third International Conference on logic programming, Imperial College of Science and technology, London, United Kingdom, July 14-18, 1986 : proceedings /   Publication: Berlin : Springer-Verlag, 1986 . IX, 720 p. : 24 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
95. Vol. 1: Deductive reasoning by Manna, Zohar Publication: Reading : Addison-Wesley, 1985 . XII, 618 p. : 25 cm. Date:1985 Availability: No items available: Checked out (1), Actions:
96. Logic and machines : decision problems and complexity : proceedings of the Symposiium Rekursive Kombinatorik held from May 23-28, 1983 at the Institut fur Mathematische Logik und Frudlagenforschung der Universitat Munster-Westfalen /   Publication: Berlin : Springer-Verlag, 1984 . VI, 456 p. : 25 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
97. Micro-PROLOG : programming in logic / by Clark, Keith L. Publication: Englewood Cliffs, [N. J.] : Prentice/Hall International, 1984 . XI, 401 p. : 23 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
98. Reasoning from incomplete knowledge in a procedural deduction system / by Moore, Robert C. Publication: New York : Garland Pub., 1980 . 112 p. : , Rev. version of the author's thesis (M.S.) Massachusetts Institute of Technology, 1975. 21 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
99. Logic, methodology, and philosophy of science VI : proceedings of the sixth international congress of logic, methodology and phylosophy of science, Hannover, 1979 /   Publication: Amsterdam ; New York : North-Holland Pub. Co., 1982 . XIV, 856 p. ; 23 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
100. The lambda calculus : its syntax and semantics / by Barendregt, Hendrik Pieter Publication: Amsterdam : North-Holland Pub. Co., 1981 . XIV, 615 p. : 23 cm. Date:1981 Availability: No items available: Checked out (1), Actions: