//]]>
Unhighlight Highlight
A Hybrid Deliberative Layer for Robotic Agents by Hartanto, Ronny. Publication: . XXII, 215 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Rule-Based Reasoning, Programming, and Applications by Bassiliades, Nick. Publication: . XIII, 385 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Functional and Constraint Logic Programming by Kuchen, Herbert. Publication: . VII, 157 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Automated Deduction – CADE-23 by Bjørner, Nikolaj. Publication: . XIII, 508 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Collaborative Agents - Research and Development by Guttmann, Christian. Publication: . VIII, 187p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Artificial Immune Systems by Liò, Pietro. Publication: . XVI, 468p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
User Modeling, Adaption and Personalization by Konstan, Joseph A. Publication: . XIX, 464 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Computational Logic in Multi-Agent Systems by Leite, João. Publication: . XV, 383 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Scientific and Statistical Database Management by Bayard Cushing, Judith. Publication: . XVII, 602p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Transactions on Computational Science XII by Gavrilova, Marina L. Publication: . XIV, 279 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Developments in Language Theory by Mauri, Giancarlo. Publication: . XIV, 482 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Logic, Language, and Computation by Bezhanishvili, Nick. Publication: . XIV, 360 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Web Engineering by Auer, Sören. Publication: . XIV, 420p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Logical Aspects of Computational Linguistics by Pogodalla, Sylvain. Publication: . X, 283p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Artificial Intelligence in Medicine by Peleg, Mor. Publication: . XVII, 355p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Symbolic and Quantitative Approaches to Reasoning with Uncertainty by Liu, Weiru. Publication: . XIV, 762p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Knowledge Processing and Data Analysis by Wolff, Karl Erich. Publication: . XVI, 321 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
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
See Baker & Taylor
Computer Aided Verification by Gopalakrishnan, Ganesh. Publication: . XV, 763p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Information Processing in Medical Imaging by Székely, Gábor. Publication: . XXI, 787 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
<< Previous 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 Next >>