Higher order algebra, logic, and term rewriting first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993 ; selected papers
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
1994
|
| Schriftenreihe: | Lecture notes in computer science
816 |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Beschreibung: | 344 S. graph. Darst. |
|---|---|
| ISBN: | 3540582339 0387582339 |