|
|
|
1. |
Substructural logics /
Publication:
Oxford : Clarendon Press ; New York : Oxford University Press, 1993
. X, 386 p. ;
24 cm.
Date:1993
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
2. |
Intensional logics for programming /
by Farinas Del Cerro, Luis
Publication:
Oxford : Clarendon Press, 1992
. IX, 228 p. ;
24 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
3. |
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:
|
|
|
4. |
Edinburgh LCF : a mechanised logic of computation /
by Gordon, Michael J.
Publication:
Berlin : Springer-Verlag, 1979
. VIII, 159 p. ;
24 cm.
Date:1979
Availability:
No items available:
Checked out (1),
Actions:
|
|
