Cărți de Alan Bundy

Catalogue of Artificial Intelligence Techniques

Symbolic Computation

Alan Smaill et al.

27 feb 2012

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

Preț: 776^.15 lei 970^.19 lei

43-57 zile

-20%

Artificial Intelligence Techniques: A Comprehensive Catalogue

Editat de Alan Bundy

16 dec 1996

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

Preț: 360^.76 lei 450^.94 lei

43-57 zile

-20%