|
|
Algebraic Informatics
by Winkler, Franz.
Publication:
. X, 261p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Deduction in Geometry
by Sturm, Thomas.
Publication:
. IX, 225p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Language, Information and Computation
by Beklemishev, Lev D.
Publication:
. X, 311 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic Programming and Nonmonotonic Reasoning
by Delgrande, James P.
Publication:
. XIII, 406 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Models of Computation
by Ogihara, Mitsunori.
Publication:
. XVI, 564 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Science – Theory and Applications
by Kulikov, Alexander.
Publication:
. XI, 471 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Concept Analysis
by Valtchev, Petko.
Publication:
. XII, 267 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computation, Cooperation, and Life
by Kelemen, Jozef.
Publication:
. XII, 217p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ludics, Dialogue and Interaction
by Lecomte, Alain.
Publication:
. XIII, 221p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Automata
by Domaratzki, Michael.
Publication:
. XII, 332p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Language, Games, and Evolution
by Benz, Anton.
Publication:
. VII, 189p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computers and Games
by Herik, H. Jaap.
Publication:
. XVIII, 277p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Sanskrit Computational Linguistics
by Jha, Girish Nath.
Publication:
. XII, 259p. 93 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Computational Science IX
by Gavrilova, Marina L.
Publication:
. XIII, 203p. 87 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Graph Transformations
by Ehrig, Hartmut.
Publication:
. XII, 419p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic and the Foundations of Game and Decision Theory – LOFT 8
by Bonanno, Giacomo.
Publication:
. XI, 207p. 35 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematical Foundations of Computer Science 2010
by Hliněný, Petr.
Publication:
. XVII, 714p. 71 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Developments in Language Theory
by Gao, Yuan.
Publication:
. XII, 446p. 48 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Mathematics of Language
by Ebert, Christian.
Publication:
. VIII, 297p. 55 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Reasoning
by Giesl, Jürgen.
Publication:
. XII, 534p. 85 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|