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

Unhighlight Highlight
1. Treat : a new and efficient match algorithm for AI production systems / by Miranker, Daniel Publication: London : Pitman ; San Mateo, 1988 . XIII, 144 p. ; 24 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
2. Advances in artificial intelligence : proceedings of the 3. congress of the Italian Association for Artificial Intelligence, AIIA '93, Torino, Italy, October 26-28, 1993 /   Publication: Berlin : Springer-Verlag, 1993 . XI, 336 p. ; 24 cm. Date:1993 Availability: No items available: Checked out (1), Actions:
3. The mathematics of inheritance systems / by Touretzky, David S. Publication: London : Pitman, 1986 . 220 p. ; 24 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
4. Termination proofs for logic programs / by Plumer, Lutz Publication: Berlin : Springer Verlag, 1990 . VIII, 142 p. ; 24 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
5. Advanced topics in artificial intelligence : international summer school, Prague, Czechoslavakia, July 6-17, 1992 : prooceedings /   Publication: Berlin : Springer Verlag, 1992 . IX, 483 p. ; 25 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
6. The next generation of information systems from data to knowledge: a selection of papers presented at two IJCAI -91 workshops, Sydney, Australia August 26, 1991 /   Publication: Berlin : Springer Verlag, 1992 . VIII, 310 p. ; 25 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
7. Processing declarative knowledge ; international workshop PDK '91, Kaiserslautern, Germany, July 1-3, 1991: proceedings /   Publication: Berlin : Springer-Verlag, 1991 . XII, 427 p. ; 24 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
8. EPIA 91 : 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991 : proceedings /   Publication: Berlin : Springer-Verlag, 1991 . VIII, 292 p. ; 24 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
9. 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:
10. 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:
11. 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:
12. 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:
13. 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:
14. 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:
15. 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:
16. Design problem solving : knowledge structures and control strategies / by Brown, David C. Publication: Pitman : London, 1989 . 199 p. ; 24 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
17. 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:
18. Advanced topics in artificial intelligence : 2nd advanced course, ACAI '87, Oslo, Norway, July 28-August, 1987 /   Publication: Berlin : Springer-Verlag, 1988 . VI, 233 p. ; 24 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
19. Semantic networks : an evidential formalization and its connectionist realization / by Shastri, Lokendra Publication: London : Pitman, 1988 . 222 p. ; 24 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
20. Distributed artificial intelligence /   Publication: London : Pitman ; Los Angeles : Morgan Kaufmann, 1987 . IX, 390 p. : 25 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
1 2 3 Next >>