Rewriting, Computation and ProofHubert Comon

Rewriting, Computation and Proof

Hubert Comon · 2007

איפה לקנות

בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.

לצפייה באמזון

קישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.

פרטי הספר

שנה: 2007
שפה: English
סדרה: Lecture notes in computer science -- 4600. -- Festschrift
הוצאה: Springer
מהדורות: 1
עמודים: 272
ISBN: 9783540731467

מקור הנתונים: Wikidata

עוד של Hubert Comon

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