|
|
Transactions on Rough Sets XV
by Peters, James F.
Publication:
. IX, 181p. 54 illus.
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),
|
|
|
Developments in Language Theory
by Yen, Hsu-Chun.
Publication:
. XIII, 478p. 65 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Languages Alive
by Bordihn, Henning.
Publication:
. X, 291 p. 29 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Descriptional Complexity of Formal Systems
by Kutrib, Martin.
Publication:
. X, 319p. 23 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Satisfiability Testing – SAT 2012
by Cimatti, Alessandro.
Publication:
. XIV, 500p. 364 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Automata
by Moreira, Nelma.
Publication:
. XIII, 369 p. 76 illus.
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),
|
|
|
The Logic of Categorial Grammars
by Moot, Richard.
Publication:
. X, 300 p. 69 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Machine Learning and Data Mining in Pattern Recognition
by Perner, Petra.
Publication:
. XIII, 680 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Lectures on Logic and Computation
by Bezhanishvili, Nick.
Publication:
. VIII, 265 p. 41 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),
|
|
|
New Directions in Logic, Language and Computation
by Lassiter, Daniel.
Publication:
. X, 250 p. 38 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Aided Verification
by Madhusudan, P.
Publication:
. XVI, 789p. 192 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Computer Mathematics
by Jeuring, Johan.
Publication:
. XVIII, 473p. 117 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Reasoning
by Gramlich, Bernhard.
Publication:
. XIV, 568p. 90 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Neural Networks – ISNN 2012
by Wang, Jun.
Publication:
. XXVI, 683 p. 210 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logical Aspects of Computational Linguistics
by Béchet, Denis.
Publication:
. X, 251 p. 32 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),
|
|
|
Mathematics of Program Construction
by Gibbons, Jeremy.
Publication:
. X, 363p.
Availability:
Copies available:
AUM Main Library
(1),
|
|