|
|
| |
Cognitive Reasoning
by Gergely, Tamás.
Publication:
. X, 437p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
From Linear Operators to Computational Biology
by Davis, Martin.
Publication:
. XI, 208 p. 16 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Belief Revision in Non-Classical Logics
by Ribeiro, Márcio Moretto.
Publication:
. XI, 120 p. 5 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Mathematical Logic for Computer Science
by Ben-Ari, Mordechai.
Publication:
. XV, 346 p. 79 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
The P=NP Question and Gödel’s Lost Letter
by Lipton, Richard J.
Publication:
. XIII, 239p. 20 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Stochastic Calculus with Infinitesimals
by Herzberg, Frederik.
Publication:
. XVIII, 112 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
From Objects to Diagrams for Ranges of Functors
by Gillibert, Pierre.
Publication:
. CLVIII, 10p. 19 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Banach Spaces and Descriptive Set Theory: Selected Topics
by Dodos, Pandelis.
Publication:
. X, 160p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Automated deduction, CADE-20 : , 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings /
Publication:
Berlin : Springer, 2005
. xiii, 457 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
