Hubert Comon - Böcker

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

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

Av Hubert Comon, Claude Marche m. 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

Av Gerard Berry, Hubert Comon m. 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

Av Hubert 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

Av Hubert Comon

Häftad, Engelska, 1997

729 kr

Skickas inom 10-15 vardagar