Conditional Term Rewriting Systems : Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings
تاريخ النشر: 29/01/1993
الناشر: Springer
ترجمة: Michael Rusinowitch
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 524
مجلدات: 1
ردمك: 9783540563938