Catalogue of Artificial Intelligence Techniques Symbolic Computation Alan Smaill et al. 27 feb 2012 Paperback Preț: 642.19 lei 802.74 lei 43-57 zile -20%
Rippling: Meta-Level Guidance for Mathematical Reasoning Cambridge Tracts in Theoretical Computer Science, nr. 56 Autor Alan Bundy et al. 29 iun 2005 Hardback Preț: 776.15 lei 970.19 lei 43-57 zile -20%
Artificial Intelligence Techniques: A Comprehensive Catalogue Editat de Alan Bundy 16 dec 1996 Paperback Preț: 325.95 lei 407.44 lei 43-57 zile -20%
Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings Lecture Notes in Computer Science, nr. 814 Editat de Alan Bundy 8 iun 1994 Paperback Preț: 360.76 lei 450.94 lei 43-57 zile -20%