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

Unhighlight Highlight
121. Fuzzy logic : mathematical tools for approximate reasoning / by Gerla, Giangiacomo Publication: Dordrecht : Kluwer, 2001 . XII, 269 p. ; 25 cm Date:2001 Availability: No items available: Checked out (1), Actions:
122. Algebraic fundations of many-valued reasoning / by Cignoli, Roberto L. O. Publication: Dordrecht : Kluwer, 2000 . IX, 231 p. ; 25 cm Date:2000 Availability: No items available: Checked out (1), Actions:
123. Cut elimination in categories / by Dosen, Kosta Publication: Dordrecht : Kluwer, 1999 . XII, 229 p. ; 25 cm Date:1999 Availability: No items available: Checked out (1), Actions:
124. Logic colloquium 1973 : proceedings of the Logic Colloquium, Bristol, July 1973 /   Publication: Amsterdam : North-Holland Pub. Co.; New York : American Elsevier, 1975 . VIII, 513 p. ; 23 cm. Date:1975 Availability: No items available: Checked out (1), Actions:
125. Proceedings of the third Scandinavian logic symposium /   Publication: Amsterdam : North Holland Publishing Company, 1975 . 214 p. ; 23 cm. Date:1975 Availability: No items available: Checked out (1), Actions:
126. Dictionary of logic as applied in the study of language : concepts-methods-theories /   Publication: The Hague : Martinus Nijhoff Publishers, 1981 . XIV, 436 p. ; 25 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
127. Arguments from external evidence in phonology / by Churma, Donald G. Publication: New York : Garland Publishing, 1985 . II, 123 p. ; 24 cm. Date:1985 Availability: No items available: Checked out (1), Actions:
128. Philosophical problems in logic : some recent developments /   Publication: Dordrecht : Reidel, 1970 . VIII, 176 p. ; 23 cm. Date:1970 Availability: No items available: Checked out (1), Actions:
129. Logical theory and semantic analysis : essays dedicated to Stig Kanger on his fiftieth birthday /   Publication: Dordrecht ; Boston : Reidel, 1974 . 225 p. ; 23 cm. Date:1974 Availability: No items available: Checked out (1), Actions:
130. Vol. 2 by Favaro, Antonio Publication: Padova : Editrice Antenore, 1966 . IX, 397 p. ; , In testa al front.: Comitato per la storia dell'Universita' di Padova 26 cm. Date:1966 Availability: No items available: Checked out (2), Actions:
131. 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:
132. Constraint satisfaction in logic programming / by Van Hentenryck, Pascal Publication: Cambridge ; London : The MIT Press, 1989 . XVI, 224 p. ; 24 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
133. Truth and modality for knowledge representation / by Turner, Raymond Publication: London : Pitman, 1990 . V, 119 p. ; 25 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
134. Meta-programming in logic programming /   Publication: Cambridge, (Mass.) : The MIT Press, 1989 . 554 p. : , Contains papers presented at META88, a workshop held at the University of Bristol, June 22-24, 1988. 23 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
135. Fuzzy logic in knowledge-based systems, decision and control /   Publication: Amsterdam : North-Holland, 1988 . XIX, 410 p. : 25 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
136. Readings in nonmonotonic reasoning /   Publication: Los Altos : M. Kaufmann Publishers, 1987 . VIII, 481 p. : 28 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
137. Knowledge representation in medicine and clinical behavioural science /   Publication: Cambridge : Abacus Press, 1986 . 211 p. : 25 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
138. Fuzzy logic in knowledge engineering /   Publication: Koln : TUV Rheinland, 1986 . 358 p. : 24 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
139. Studies in automatic programming logic / by Manna, Zohar Publication: New York : North-Holland, 1977 . VIII, 192 p. ; 24 cm. Date:1977 Availability: No items available: Checked out (1), Actions:
140. Vol. 2: Research directions in cognitive science european perspectives by Schnelle, Helmut Publication: Hove : Lawrence Erlbaum Associates, 1989 . XIV, 217 p. : 24 cm Date:1989 Availability: No items available: Checked out (1), Actions:
<< Previous 1 2 3 4 5 6 7 8 Next >>