Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter Artificial Intelligence Editat de Hector J. Levesque et al. 22 sep 2011 Paperback Preț: 321.93 lei 402.41 lei 6-8 săpt. -20%
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings Lecture Notes in Computer Science, nr. 2796 Editat de Marta Cialdea Mayer et al. 3 sep 2003 Paperback Preț: 324.27 lei 405.34 lei 6-8 săpt. -20%