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
|