Cărți de Jürgen Giesl

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6173

Editat de Jürgen Giesl et al.

30 iun 2010

Preț: 659^.97 lei 824^.95 lei

3-5 săpt.

-20%

Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3467

Editat de Jürgen Giesl

7 apr 2005

Preț: 657^.34 lei 821^.68 lei

6-8 săpt.

-20%