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

61. Computer science logic : 5th workshop, CSL '91 Berne, Switzerland, october 7-11, 1991 : proceedings /   Publication: Berlin : Springer Verlag, 1992 . VIII, 428 p. ; 25 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
62. Logic, methodology and philosophy of science III; proceedings of the Third International Congress for Logic,Methodology and Philosophy of Science, Amsterdam 1967 /   Publication: Amsterdam : North-Holland Pub. Co., 1968 . XII, 553 p. : 23 cm. Date:1968 Availability: No items available: Checked out (1), Actions:
63. Mathematical logic and theoretical computer science /   Publication: New York : Dekker, 1987 . XVIII, 383 p. ; , Papers presented during thr XVI special year of the department of mathematics of the University of Maryland, 1984-1985 26 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
64. Graph-based proof procedure for horn clauses / by Raatz, Stan Publication: Boston : Birkhauser, 1990 . 147 p. ; 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
65. 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:
66. Natural language and logic : proceedings /   Publication: Berlin ; New York : Springer-Verlag, 1990 . 252 p. : 25 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
67. 10th International Conference on automated deduction. Kaiserslautern, FRG, July 1990 : proceedings /   Publication: Berlin : Springer-Verlag, 1990 . XVI, 688 p. ; 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
68. Extension of logic programming : International workshop, Tubingen, FRG, December 8-10, 1989 : proceedings /   Publication: Berlin : Springer-Verlag, 1991 . VIII, 364 p. ; 24 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
69. Computability in analysis and physics / by Pour-El, Marian Publication: Berlin : Springer-Verlag, 1989 . XII, 206 p. ; 24 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
70. Algebraic and logic programming : second International conference, Nancy, France, October 1-3, 1990, proceedings /   Publication: Berlin : Springer-Verlag, 1990 . VII, 386 p. ; 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
71. Classical recursion theory : the theory of functions and sets of natural numbers / by Odifreddi, Piergiorgio Publication: Amsterdam : North-Holland, 1989 . XVII, 668 p. : 23 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
72. General recursion theory : an axiomatic approach / by Fenstad, Jens Erik Publication: Berlin ; New York : Springer-Verlag, 1980 . XI, 225 p. ; 25 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
73. Natural language understanding / by Allen, James Publication: Menlo Park : Benjamin/Cummings Pub. Co., 1987 . XV, 574 p. : 25 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
74. First-order logic and automated theorem proving / by Fitting, Melvin Publication: New York : Springer-Verlag, 1990 . XIII, 242 p. : 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
75. Sorts and types in artificial intelligence : workshoop, Eringerfeld, FRG, April 24-26, 1989 proceedings /   Publication: Berlin : Springer Verlag, 1990 . VIII, 307 p. ; 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
76. Colog-88 : International conference on computer logic, Tallin, USSR, December 12-16, 1988 /   Publication: Berlin : Springer Verlag, 1990 . VI, 338 p. ; 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
77. Computational aspects of an order-sorted logic with term declarations / by Schmidt Schauss, M. Publication: Berlin : Springer Verlag, 1989 . VIII, 171 p. ; 24 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
78. Prolog, children and students /   Publication: London : Kogan Page ; New York : Nichols Pub. Co., 1988 . 217 p. : 25 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
79. Foundations of knowledge base management : contributions from logic, databases, and artificial intelligence applications /   Publication: Berlin ; New York : Springer-Verlag, 1989 . XIV, 579 p. : , Proceedings of the Xania Workshop on Knowledge Bade Management Systems, Crete, June 1985 25 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
80. CSL '88 : 2nd Workshop on computer science logic, Duisburg, FRG, October 3-7, 1988, proceedings /   Publication: Berlin : Springer-Verlag, 1989 . VI, 399 p. ; 24 cm. Date:1989 Availability: No items available: Checked out (1), Actions: