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