Filtre: Calculatoare şi IT Informatică Inteligenţă artificială

Cărți de Freek Wiedijk

Intelligent Computer Mathematics: 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5144

Editat de Serge Autexier et al.

16 iul 2008

Preț: 350^.21 lei 437^.76 lei

43-57 zile

-20%

The Seventeen Provers of the World: Foreword by Dana S. Scott

Lecture Notes in Computer Science, nr. 3600

Editat de Freek Wiedijk

3 feb 2006

Preț: 355^.90 lei 444^.87 lei

43-57 zile

-20%