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

Unhighlight Highlight
21. Logic, algebra and computation : International Summer School directed by F. L. Bauer ... [et al.] /   Publication: Berlin : Springer Verlag, 1991 . VI, 485 p. ; 25 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
22. 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:
23. 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:
24. 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:
25. 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:
26. 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:
27. 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:
28. The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, USA /   Publication: Amsterdam : North-Holland Pub. Co., 1980 . XX, 425 p. : 23 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
29. 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:
30. Non-classical logics and their applications to fuzzy subsets : a handbook of the mathematical foundations of fuzzy set theory /   Publication: Dordrecht ; Boston : Kluwer Academic Publishers, 1995 . VIII, 390 p. : , Proceedings of the 14th Linz Seminar on Fuzzy Set Theory held the second week of September 1992 at the Bildungszentrum St. Magdalena, Linz, Austria. 25 cm. Date:1995 Availability: No items available: Checked out (1), Actions:
31. Linguistic instrumentation in knowledge engineering : proceedings of the 1991 Workshop on Linguistic Instruments in Knowledge Engineering, Tilburg, The Netherlands, 17-18 January 1991 /   Publication: Amsterdam : Elsevier Science Publishers, 1992 . IX, 298 p. ; 25 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
32. 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:
33. 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:
34. 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:
35. 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:
36. Theoretical aspects of reasoning about knowledge : proceedings of the second conference, March 7-9, 1988, Pacific Grove, California / by TARK Publication: Los Altos : Morgan Kaufmann Publishers, 1988 . VIII, 401 p. : 28 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
37. Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California / by TARK Publication: Los Altos : M. Kaufmann Publishers, 1986 . VII, 407 p. ; 28 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
38. 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:
39. 5th Conference on automated deduction, Les Arcs, France, July 8-11, 1980 /   Publication: Berlin : Springer-Verlag, 1980 . VII, 385 p. ; 24 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
40. Fuzzy logic, neural networks and evolutionary computation : IEEE /   Publication: Berlin : Springer, 1996 . VI, 243 p. : 24 cm. Date:1996 Availability: No items available: Checked out (1), Actions:
1 2