Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
Editat de Jürgen Giesl et al.
30 iun 2010
Paperback
Preț: 634.45 lei 793.07 lei
3-5 săpt.
-20%
Cărți de Jürgen Giesl
Term Rewriting and Applications
Editat de Jürgen Giesl
7 apr 2005
Paperback
Preț: 634.01 lei 792.51 lei
6-8 săpt.
-20%