|
|
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:
|
|