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 |
Search Result 1
Search Result 2
Search Result 3
Search Result 4
Search Result 5
Search Result 6
Search Result 7