The Church Rosser Property in computer algebra and special theorem proving an investigation of critical pair, completion algorithms
Saved in:
| 主要作者: | |
|---|---|
| 格式: | 圖書 |
| 語言: | 英语 |
| 出版: |
Wien
VWGÖ
1984
|
| 叢編: | Dissertationen der Johannes Kepler-Universität Linz
Bd 49 |
| 標簽: |
沒有標簽, 成為第一個標記此記錄!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 3069292 | ||
| 007 | tu | ||
| 041 | |a eng | ||
| 100 | 1 | |a Winkler, Franz | |
| 245 | 1 | 0 | |a The Church Rosser Property in computer algebra and special theorem proving |b an investigation of critical pair, completion algorithms |
| 246 | 3 | |a WINKLER, Franz: | |
| 264 | 1 | |a Wien |b VWGÖ |c 1984 | |
| 300 | |a 193 S. |c 8° | ||
| 490 | 0 | |a Dissertationen der Johannes Kepler-Universität Linz |v Bd 49 | |
| 500 | |a 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. | ||
| 852 | |c 77.289/49 | ||
| 999 | |a Dissertation | ||