Hubert Comon - Böcker
Visar alla böcker från författaren Hubert Comon.
4 produkter
4 produkter
Constraints in Computational Logics: Theory and Applications
International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures
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
Häftad, Engelska, 2001
1 439 kr
Skickas inom 10-15 vardagar
Term Rewriting
French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course
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
Häftad, Engelska, 1997
729 kr
Skickas inom 10-15 vardagar