//]]>
Unhighlight Highlight
Grammatical Inference: Theoretical Results and Applications by Sempere, José M. Publication: . XI, 317p. 47 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Principles and Practice of Constraint Programming – CP 2010 by Cohen, David. Publication: . XX, 650p. 145 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Science Logic by Dawar, Anuj. Publication: . XIV, 548p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verified Software: Theories, Tools, Experiments by Leavens, Gary T. Publication: . X, 217p. 68 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Logic in Multi-Agent Systems by Dix, Jürgen. Publication: . XIV, 257p. 42 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
New Frontiers in Artificial Intelligence by Nakakoji, Kumiyo. Publication: . XII, 374p. 60 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Natural Language Processing by Loftsson, Hrafn. Publication: . 448p. 73 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Finite-State Methods and Natural Language Processing by Yli-Jyrä, Anssi. Publication: . X, 147p. 44 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unifying Theories of Programming by Butterfield, Andrew. Publication: . IX, 279p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Rough Sets XII by Peters, James F. Publication: . X, 339p. 5 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Developments in Language Theory by Gao, Yuan. Publication: . XII, 446p. 48 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Controlled Natural Language by Fuchs, Norbert E. Publication: . X, 291p. 62 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
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
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
Interactive Theorem Proving by Kaufmann, Matt. Publication: . XI, 495p. 82 illus. 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 |
العربية