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ț: 659^.73 lei 824^.66 lei

6-8 săpt.

-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ț: 331^.68 lei 414^.60 lei

6-8 săpt.

-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ț: 336^.71 lei 420^.89 lei

6-8 săpt.

-20%