|
|
|
1381. |
An introduction to mathematical logic and type theory : to truth through proof /
by Andrews, Peter Bruce
Publication:
Orlando : Academic Press, 1986
. XV, 304 p. ;
24 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1382. |
Artificial intelligence and cognitive sciences /
Publication:
Manchester : Manchester University Press, 1988
. XIII, 407 p. :
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1383. |
Vol. 1: Formal aspects of artificial intelligence /
by Narayanan, Ajit
Publication:
Chichester : E. Horwood ; New York : Halsted Press, 1988
. 200 p. :
25 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1384. |
Formal methods in artificial intelligence /
by Ramsay, Allan
Publication:
Cambridge ; New York : Cambridge University Press, 1988
. IX, 279 p. :
26 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1385. |
The liver : biology and pathobiology /
Publication:
New York : Raven Press, 1988
. XXV, 1377 p. ;
28 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1386. |
Probabilistic properties of deterministic systems /
by Lasota, Andrzej
Publication:
Cambridge ; New York : Cambridge University Press, 1985
. X, 358 p. :
24 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1387. |
Introduction to statistical pattern recognition /
by Fukunaga, Keinosuke
Publication:
New York : Academic Press, 1972
. XIII, 369 p. :
24 cm.
Date:1972
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1388. |
Temporal logics and their applications /
Publication:
London ; San Diego : Academic Press, 1987
. XII, 244 p. :
24 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1389. |
Computer-oriented approaches to pattern recognition /
by Meisel, William S.
Publication:
New York : Academic Press, 1972
. XII, 250 p. :
24 cm.
Date:1972
Availability:
No items available:
Checked out (2),
Actions:
|
|
|
1390. |
Martingales and stochastic integrals /
by Kopp, P. E.
Publication:
Cambridge ; New York : Cambridge University Press, 1984
. XI, 202 p. :
24 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1391. |
Vol. 1
Publication:
[S.l.] : Pergamon Press, 1988
. XX, 644 p. :
27 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1392. |
Vol. 11: Logic and the acquisition of knowledge /
Publication:
Oxford : Oxford University Press, 1988
. 460 p. ;
, Proceedings of the International Machine Intelligence Workshop
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1393. |
Conference on advances in biomedical measurement /
Publication:
New York : Plenum Press, 1988
. XI, 499 p. :
26 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1394. |
On the Volterra and other nonlinear models of interacting populations /
by Goel, N. S.
Publication:
New York : Academic Press, 1971
. VII, 145 p. ;
21 cm.
Date:1971
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1395. |
Ordinary differential equations /
by Arnold, Vladimir Igorevich
Publication:
Cambridge : The MIT Press, 1973
. VIII, 280 p. :
23 cm.
Date:1973
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1396. |
Reaction-diffusion equations and their applications to biology /
by Britton, N. F.
Publication:
London : Academic Press, 1986
. IX, 277 p. ;
23 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1397. |
Introduction to ergodic theory /
by Sinai, Iakov Grigor'evich
Publication:
Princeton : Princeton University Press, 1976
. 144 p. ;
24 cm.
Date:1976
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1398. |
Gesture and the nature of language /
by Armstrong, David F.
Publication:
Cambridge : Cambridge University Press, 1995
. IX, 260 p. ;
22 cm.
Date:1995
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1399. |
Radically elementary probability theory /
by Nelson, Edward
Publication:
Princeton : Princeton University Press, 1987
. IX, 97 p. :
25 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
1400. |
Possibility theory : an approach to computerized processing of uncertainty /
by Dubois, Didier
Publication:
New York : Plenum Press, 1988
. XVI, 263 p. :
23 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
