|
|
Discrete, Continuous, and Hybrid Petri Nets
by David, René.
Publication:
. XXII, 554p. 425 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning
by McMillan, Ken.
Publication:
. XIV, 794 p. 178 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Constraint Solving and Language Processing
by Duchier, Denys.
Publication:
. XII, 179 p. 30 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Modeling and Using Context
by Brézillon, Patrick.
Publication:
. XII, 381 p. 110 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
KI 2013: Advances in Artificial Intelligence
by Timm, Ingo J.
Publication:
. XX, 313 p. 102 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithmic Learning Theory
by Jain, Sanjay.
Publication:
. XVIII, 397 p. 30 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Frontiers of Combining Systems
by Fontaine, Pascal.
Publication:
. XII, 359 p. 35 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Deduction in Geometry
by Ida, Tetsuo.
Publication:
. X, 193 p. 55 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Logic in Multi-Agent Systems
by Leite, João.
Publication:
. XXIV, 391 p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Combinatorics on Words
by Karhumäki, Juhani.
Publication:
. X, 263 p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic Programming and Nonmonotonic Reasoning
by Cabalar, Pedro.
Publication:
. XVIII, 570 p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods
by Galmiche, Didier.
Publication:
. X, 289 p. 34 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Grammar
by Morrill, Glyn.
Publication:
. X, 293 p. 58 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Language, Information, and Computation
by Libkin, Leonid.
Publication:
. X, 283 p. 15 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
New Frontiers in Artificial Intelligence
by Motomura, Yoichi.
Publication:
. XVI, 257 p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reasoning Web. Semantic Technologies for Intelligent Data Access
by Rudolph, Sebastian.
Publication:
. X, 285 p. 49 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Interactive Theorem Proving
by Blazy, Sandrine.
Publication:
. XII, 498 p. 73 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Hardware and Software: Verification and Testing
by Biere, Armin.
Publication:
. XII, 281 p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Artificial General Intelligence
by Kühnberger, Kai-Uwe.
Publication:
. XII, 207 p. 39 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Computer Mathematics
by Carette, Jacques.
Publication:
. XVI, 384 p. 100 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|