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

Unhighlight Highlight
1. Vol. 3.: Nonmonotonic reasoning and uncertain reasoning /   Publication: Oxford : Clarendon Press, 1994 . XIX, 529 p. ; 24 cm. Date:1994 Availability: No items available: Checked out (1), Actions:
2. Vol. 1: Background : mathematical structures   Publication: Oxford : Clarendon Press, 1992 . XII, 827 p. ; 24 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
3. Vol. 2: Background : computational structures   Publication: Oxford : Clarendon Press, 1992 . X, 571 p. ; 24 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
4. Information modelling and knowledge bases XI /   Publication: Amsterdam : IOS Press, 2000 . X, 315 p. ; 24 cm. Date:2000 Availability: No items available: Checked out (1), Actions:
5. Vol. 2.: Deduction methodologies /   Publication: Oxford : Clarendon Press, 1994 . XV, 511 p. ; 24 cm. Date:1994 Availability: No items available: Checked out (1), Actions:
6. Artificial intelligence : a modern approach / by Russell, Stuart J. Publication: Englewood Cliffs : Prentice Hall, 1995 . XXVIII, 932 p. : 24 cm. Date:1995 Availability: No items available: Checked out (1), Actions:
7. Cambridge Summer School in Mathematical Logic, held in Cambridge, England, August 1-21, 1971 /   Publication: Berlin ; New York : Springer-Verlag, 1973 . IX, 660 p. ; 25 cm. Date:1973 Availability: No items available: Checked out (1), Actions:
8. Undecidable theories / by Tarski, Alfred Publication: Amsterdam : North-Holland, 1971 . XI, 98 p. ; 23 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
9. Logic colloquium '69 : proceedings of the Summer school and Colloquiun in Mathematical Logic, Manchester, August 1969 /   Publication: Amsterdam North-Holland, 1971 . XIV, 451 p. ; 23 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
10. Meta-programming in logic : third International Workshop, Meta-92, Uppsala, Sweden, June 10-12, 1992 : proceedings /   Publication: Berlin : Springer-Verlag, 1992 . XII, 351 p. ; 25 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
11. Logics in AI : European Workshop JELIA '90, Amsterdam, The Nederlands, September 10-14, 1990, proceedings /   Publication: Berlin ; New York : Springer-Verlag, 1991 . IX, 561 p. : 25 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
12. 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:
13. Logic programming /   Publication: London ; New York : Academic Press, 1982 . XVII, 366 p. : , Based on the proceedings of the first International Workshop on Logic Programming, held in Debrecen, Hungaryin 1980. 24 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
14. Probabilistic reasoning in intelligent systems : networks of plausible inference / by Pearl, Judea Publication: San Francisco : Morgan Kaufmann, 1991 . XIX, 552 p. : 23 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
15. Categorization and naming in children : problems of education / by Markman, Ellen M. Publication: Cambridge : The MIT Press, 1989 . 250 p. ; 23 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
16. Proof theory / by Takeuti, Gaisi Publication: Amsterdam : North-Holland, 1975 . VII, 372 p. ; 23 cm. Date:1975 Availability: No items available: Checked out (1), Actions:
17. Computational phonology : a constraint-based approach / by Bird, Steven Publication: Cambridge : Cambridge University Press, 1995 . XV, 203 p. : 23 cm. Date:1995 Availability: No items available: Checked out (1), Actions:
18. Calculus and computer science theory : proceedings of the Symposium held in Rome, March 25-27, 1975 /   Publication: Berlin : Springer Verlag, 1975 . XII, 370 p. ; 24 cm. Date:1975 Availability: No items available: Checked out (1), Actions:
19. Propositional attitudes : an essay on thoughts and how we ascribe them / by Richard, Mark Publication: Cambridge : Cambridge University Press, 1990 . IX, 275 p. ; 21 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
20. Philosophical logic /   Publication: Dordrecht : D. Reidel, 1969 . VIII, 277 p. ; 23 cm. Date:1969 Availability: No items available: Checked out (1), Actions:
1 2 3 4 5 6 7 8 Next >>