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ț: 746.09 lei 932.61 lei 6-8 săpt. -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ț: 347.00 lei 433.74 lei 6-8 săpt. -20%
Catalogue of Artificial Intelligence Techniques Symbolic Computation Alan Smaill et al. 27 feb 2012 Paperback Preț: 617.38 lei 771.73 lei 6-8 săpt. -20%
Artificial Intelligence Techniques: A Comprehensive Catalogue Editat de Alan Bundy 16 dec 1996 Paperback Preț: 313.56 lei 391.95 lei 6-8 săpt. -20%