//]]>
Unhighlight Highlight
Automated Reasoning with Analytic Tableaux and Related Methods by Brünnler, Kai. Publication: . VIII, 279p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Aided Verification by Gopalakrishnan, Ganesh. Publication: . XV, 763p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Argumentation in Multi-Agent Systems by McBurney, Peter. Publication: . X, 327p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Rough Sets, Fuzzy Sets, Data Mining and Granular Computing by Kuznetsov, Sergei O. Publication: . XIII, 370 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Applications of Satisfiability Testing - SAT 2011 by Sakallah, Karem A. Publication: . XIII, 371p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Rough Sets XIV by Peters, James F. Publication: . VII, 235p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic and Grammar by Pogodalla, Sylvain. Publication: . XV, 159 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multidisciplinary Aspects of Time and Time Perception by Vatakis, Argiro. Publication: . XII, 291 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools for Teaching Logic by Blackburn, Patrick. Publication: . XI, 257p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unconventional Computation by Calude, Cristian S. Publication: . X, 247p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Inductive Logic Programming by Frasconi, Paolo. Publication: . XI, 278p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Language and Automata Theory and Applications by Dediu, Adrian-Horia. Publication: . XIII, 512p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Relational and Algebraic Methods in Computer Science by Swart, Harrie. Publication: . VIII, 363 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Deduction in Geometry by Sturm, Thomas. Publication: . IX, 225p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic Programming and Nonmonotonic Reasoning by Delgrande, James P. Publication: . XIII, 406 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning by Balduccini, Marcello. Publication: . XIII, 513 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Functional and Constraint Logic Programming by Mariño, Julio. Publication: . IX, 175 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model Checking and Artificial Intelligence by Meyden, Ron. Publication: . XI, 131 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Concept Analysis by Valtchev, Petko. Publication: . XII, 267 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Grammar by Groote, Philippe. Publication: . VIII, 215 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3 4 5 6 7 8 9 10 Next >>
Languages: 
English |
العربية