Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers
Jan Heering ... [et al.] (eds.)
Bok Engelsk 1994 HOA '93
| Utgitt | Berlin : Springer , c1994
|
|---|---|
| Omfang | 344 s. : fig.
|
| Emner | |
| ISBN | 0387582339. - 3540582339
|
