Cărți de Alan Bundy

Catalogue of Artificial Intelligence Techniques

Symbolic Computation

Alan Smaill et al.

27 feb 2012

Preț: 631^.37 lei 789^.21 lei

6-8 săpt.

-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ț: 763^.07 lei 953^.83 lei

6-8 săpt.

-20%

Artificial Intelligence Techniques: A Comprehensive Catalogue

Editat de Alan Bundy

16 dec 1996

Preț: 320^.49 lei 400^.62 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

Preț: 354^.70 lei 443^.37 lei

6-8 săpt.

-20%