//]]>
Unhighlight Highlight
Symbolic and Quantitative Approaches to Reasoning with Uncertainty by Gaag, Linda C. Publication: . XII, 536 p. 62 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unconventional Computation and Natural Computation by Mauri, Giancarlo. Publication: . XVI, 262 p. 68 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Applications of Satisfiability Testing – SAT 2013 by Järvisalo, Matti. Publication: . XVI, 437 p. 84 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Inductive Logic Programming by Riguzzi, Fabrizio. Publication: . X, 273 p. 81 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Deduction – CADE-24 by Bonacina, Maria Paola. Publication: . XVI, 466 p. 95 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Concept Analysis by Cellier, Peggy. Publication: . X, 267 p. 57 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic-Based Program Synthesis and Transformation by Albert, Elvira. Publication: . X, 245 p. 36 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Logics by Voronkov, Andrei. Publication: . X, 447 p. 69 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Language and Automata Theory and Applications by Dediu, Adrian-Horia. Publication: . XIV, 580 p. 69 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Language of Mathematics by Ganesalingam, Mohan. Publication: . XX, 260 p. 15 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Language, and Computation by Bezhanishvili, Guram. Publication: . XII, 277 p. 56 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Reasoning and Mathematics by Bonacina, Maria Paola. Publication: . XX, 259 p. 27 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Rough Sets XVI by Peters, James F. Publication: . X, 221 p. 77 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Language Engineering by Czarnecki, Krzysztof. Publication: . XII, 413 p. 172 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic and Its Applications by Lodaya, Kamal. Publication: . X, 259 p. 18 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Uncertainty Reasoning for the Semantic Web II by Bobillo, Fernando. Publication: . XVI, 331 p. 72 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verification, Model Checking, and Abstract Interpretation by Giacobazzi, Roberto. Publication: . XII, 556 p. 123 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Artificial General Intelligence by Bach, Joscha. Publication: . XII, 381 p. 121 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Certified Programs and Proofs by Hawblitzel, Chris. Publication: . X, 305 p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Issues in Fluid Construction Grammar by Steels, Luc. Publication: . X, 331 p. 102 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 4 5 6 7 8 9 10 Next >>
Languages: 
English |
العربية