|
|
J. Müller and E. Wagner (1986): Effiziente Reduktionsstrategien in Termersetzungssystemen
| Title: |
Effiziente Reduktionsstrategien in Termersetzungssystemen |
| Author(s): |
J. Müller and E. Wagner |
| Year: |
1986 |
| Booktitle: |
German Workshop on Artificial Intelligence GWAI--86 und 2.\ Österreichische AI--Tagung |
| Editor(s): |
Claus--Rainer Rollinger and Werner Horn |
| Number: |
124 |
| Pages: |
242-253 |
| Publisher: |
Springer |
| Address: |
Berlin u.a. |
Concepts
|
|
