Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers
Gilles Dowek ... [et al.] (eds.)
Bok Engelsk 1996 HOA '95
| Utgitt | Berlin : Springer , c1996
|
|---|---|
| Omfang | 287 s. : fig.
|
| Emner | |
| ISBN | 3540612548
|
