Hubert Comon – författare

Visar alla böcker från författaren .

4 produkter

Kategorier

4 produkter

Constraints in Computational Logics: Theory and Applications
International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures
AvHubert Comon,Claude Marchem. fl.
Häftad, Engelska, 2001
729 kr
Skickas inom 10-15 vardagar
Computer Aided Verification
13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
AvGerard Berry,Hubert Comonm. fl.
Häftad, Engelska, 2001
1 449 kr
Skickas inom 10-15 vardagar
Term Rewriting
French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course
AvHubert Comon,Jean-Pierre Jouannaud
Häftad, Engelska, 1995
729 kr
Skickas inom 10-15 vardagar
Rewriting Techniques and Applications
8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings
AvHubert Comon
Häftad, Engelska, 1997
729 kr
Skickas inom 10-15 vardagar