|
|
Computational Intelligence for Knowledge-Based Systems Design
by Hüllermeier, Eyke.
Publication:
. XVII, 771p. 183 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programs, Proofs, Processes
by Ferreira, Fernando.
Publication:
. XIV, 450p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Unconventional Computation
by Calude, Cristian S.
Publication:
. XIII, 195p. 68 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematics of Program Construction
by Bolduc, Claude.
Publication:
. X, 427p. 57 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Language and Automata Theory and Applications
by Dediu, Adrian-Horia.
Publication:
. XIV, 622p. 92 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Computer Games
by Herik, H. Jaap.
Publication:
. XIV, 233p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Semantic Processing of Legal Texts
by Francesconi, Enrico.
Publication:
. XII, 249p. 42 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Argumentation in Multi-Agent Systems
by McBurney, Peter.
Publication:
. X, 321p. 36 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic-Based Program Synthesis and Transformation
by Schreye, Danny.
Publication:
. X, 205p. 29 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Natural Language Processing and Information Systems
by Horacek, Helmut.
Publication:
. XVIII, 318p. 65 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Processing of the Portuguese Language
by Pardo, Thiago Alexandre Salgueiro.
Publication:
. XII, 167p. 36 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Functional and Logic Programming
by Blume, Matthias.
Publication:
. XI, 355p. 46 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Functional and Constraint Logic Programming
by Escobar, Santiago.
Publication:
. IX, 179p. 35 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Approaches and Applications of Inductive Programming
by Schmid, Ute.
Publication:
. IX, 195p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Concept Analysis
by Kwuida, Léonard.
Publication:
. XII, 340p. 91 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automata for Branching and Layered Temporal Structures
by Puppis, Gabriele.
Publication:
. 206p. 41 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Information and Knowledge Systems
by Link, Sebastian.
Publication:
. XII, 363 p. 58 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Rough Sets XI
by Peters, James F.
Publication:
. IX, 189 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Certified Programs and Proofs
by Gonthier, Georges.
Publication:
. XII, 309 p. 44 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
AI*IA 2013: Advances in Artificial Intelligence
by Baldoni, Matteo.
Publication:
. XVIII, 540 p. 128 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|