Term Rewriting
Ein kompakter Lehrtext aus dem Frühling 1993 in Font Romeux, der fortgeschrittene Techniken des Term‑Rewriteings beleuchtet und theoretische Grundlagen mit praktischen Beispielen verknüpft.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course (Lecture Notes in Computer Science, 909, Band 909)
Medimops DE
04-08-2026 19:10:22
SpringerLink DE Ähnliche Produkte
Advanced Topics in Term Rewriting
51.86 EUR
Advanced Topics in Term Rewriting
48.98 EUR
Term Rewriting and Applications
53.49 EUR