Conditional and Typed Rewriting Systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings
تاريخ النشر: 07/08/1991
الناشر: Springer
ترجمة: Stephane Kaplan
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 488
مجلدات: 1
ردمك: 9783540543176