Filtre: Springer Berlin, Heidelberg

Cărți de Deepak Kapur

Computer Mathematics: 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007, Revised and Invited Papers

Lecture Notes in Computer Science, nr. 5081

Editat de Deepak Kapur

29 sep 2008

Preț: 620^.33 lei 775^.42 lei

3-5 săpt.

-20%

Automated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings

Lecture Notes in Computer Science, nr. 607

Editat de Deepak Kapur

27 mai 1992

Preț: 645^.09 lei 806^.36 lei

6-8 săpt.

-20%