The Church Rosser Property in computer algebra and special theorem proving an investigation of critical pair, completion algorithms
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | كتاب |
| اللغة: | الإنجليزية |
| منشور في: |
Wien
VWGÖ
1984
|
| سلاسل: | Dissertationen der Johannes Kepler-Universität Linz
Bd 49 |
| الوسوم: |
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| Order eBook: |
|
| Order Book: | Login to order |
| وصف المادة: | WINKLER, Franz: -- The Church Rosser Property in computer algebra and special theorem proving:an in- -- vestigation of critical pair,completion al- -- gorithms. - Wien:VWGÖ 1984. 193 S. 8° -- Linz,naturwiss.Diss.1984. -- (Dissertationen der Johannes Kepler-Uni- -- versität Linz.Bd 49.) -- 1985:2289. -- S.D. |
|---|---|
| وصف مادي: | 193 S. 8° |