Hubert Comon
Hubert Comon
5 ספרים במאגר
ספרים
Rewriting, Computation and ProofHubert Comon
Rewriting, Computation and Proof
Hubert Comon · 2007
Rewriting Techniques and ApplicationsHubert Comon
Rewriting Techniques and Applications
Hubert Comon · 1997
Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17-21, 1993Hubert Comon
Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17-21, 1993
Hubert Comon · 1995
Constraints in Computational Logics : Theory and ApplicationsHubert Comon
Constraints in Computational Logics : Theory and Applications
Hubert Comon · 2003
Activite Numerique No.913-914Hubert Comon
Activite Numerique No.913-914
Hubert Comon
ספרים משותפים ואוספים
ספרים שבהם Hubert Comon מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
