//]]>
A 25-Year Perspective on Logic Programming by Dovier, Agostino. Publication: . XIV, 329p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Aided Verification by Touili, Tayssir. Publication: . XVI, 676p. 169 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Language and Meaning by Aloni, Maria. Publication: . X, 476p. 1 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Case-Based Reasoning. Research and Development by Bichindaritz, Isabelle. Publication: . 557p. 180 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Current Topics in Artificial Intelligence by Meseguer, Pedro. Publication: . XII, 302p. 77 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Web-Age Information Management by Chen, Lei. Publication: . XIX, 785p. 320 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Reasoning by Giesl, Jürgen. Publication: . XII, 534p. 85 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Conceptual Structures: From Information to Intelligence by Croitoru, Madalina. Publication: . XII, 207p. 51 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Deontic Logic in Computer Science by Governatori, Guido. Publication: . VIII, 323p. 33 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automata, Languages and Programming by Abramsky, Samson. Publication: . XXIII, 754p. 42 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Artifical Evolution by Collet, Pierre. Publication: . XII, 207p. 75 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Intelligent Computer Mathematics by Autexier, Serge. Publication: . XV, 471p. 71 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Haptics: Generating and Perceiving Tangible Sensations by Kappers, Astrid M. L. Publication: . XX, 460p. 227 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Haptics: Generating and Perceiving Tangible Sensations by Kappers, Astrid M. L. Publication: . 440p. 246 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Articulated Motion and Deformable Objects by Perales, Francisco J. Publication: . XIV, 312p. 154 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Interactive Theorem Proving by Kaufmann, Matt. Publication: . XI, 495p. 82 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Intelligence for Knowledge-Based Systems Design by Hüllermeier, Eyke. Publication: . XVII, 771p. 183 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computing and Combinatorics by Thai, My T. Publication: . 553p. 103 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programs, Proofs, Processes by Ferreira, Fernando. Publication: . XIV, 450p. 37 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Web Engineering by Benatallah, Boualem. Publication: . 528p. 231 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart