Cărți de Michael Rusinowitch

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

Lecture Notes in Computer Science, nr. 3097

Editat de David Basin et al.

22 iun 2004

Preț: 662^.00 lei 827^.51 lei

43-57 zile

-20%

Rewriting Techniques and Applications: 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings

Lecture Notes in Computer Science, nr. 1631

Editat de Paliath Narendran et al.

16 iun 1999

Preț: 332^.83 lei 416^.03 lei

43-57 zile

-20%

Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings

Lecture Notes in Computer Science, nr. 656

Editat de Michael Rusinowitch et al.

29 ian 1993

Preț: 337^.87 lei 422^.33 lei

43-57 zile

-20%