|
|
Controlled Natural Language
by Kuhn, Tobias.
Publication:
. X, 190 p. 34 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Rough Sets and Current Trends in Computing
by Yao, JingTao.
Publication:
. Approx. 500 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
New Frontiers in Artificial Intelligence
by Okumura, Manabu.
Publication:
. Approx. 305 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Rough Sets and Knowledge Technology
by Li, Tianrui.
Publication:
. XVIII, 526 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Deontic Logic in Computer Science
by Ågotnes, Thomas.
Publication:
. XII, 215 p. 21 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Language and Meaning
by Aloni, Maria.
Publication:
. XII, 482 p. 62 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Controlled Natural Language
by Rosner, Michael.
Publication:
. IX, 195p. 32 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Model-Driven Engineering
by Bernardo, Marco.
Publication:
. VII, 439 p. 158 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic Programs, Norms and Action
by Artikis, Alexander.
Publication:
. XX, 425 p. 36 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Processing of the Portuguese Language
by Caseli, Helena.
Publication:
. X, 460p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Empirical Software Engineering and Verification
by Meyer, Bertrand.
Publication:
. VII, 213 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods, Foundations and Applications
by Simao, Adenilso.
Publication:
. X, 205 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithmic Learning Theory
by Kivinen, Jyrki.
Publication:
. XIII, 453 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Modeling and Using Context
by Beigl, Michael.
Publication:
. XIII, 336 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Datalog Reloaded
by Moor, Oege.
Publication:
. VIII, 399p. 52 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Semantics in Data and Knowledge Bases
by Schewe, Klaus-Dieter.
Publication:
. IX, 135p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Language Technologies for Digital Libraries
by Bernardi, Raffaella.
Publication:
. XI, 171p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Artificial General Intelligence
by Schmidhuber, Jürgen.
Publication:
. XIV, 416 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Computer Mathematics
by Davenport, James H.
Publication:
. XIII, 312 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
by Liu, Weiru.
Publication:
. XIV, 762p.
Availability:
Copies available:
AUM Main Library
(1),
|
|