| 000 | 00787 a2200277 4500 | ||
|---|---|---|---|
| 001 | 57650 | ||
| 020 | _a0-387-19660-90 | ||
| 041 | _aeng | ||
| 080 | _a681.327.8 Hig:4:90 | ||
| 245 | _aProceedings of the IV higher order workshop, Banff, Alberta, Canada, 10-14 Sept., 1990 / edited by Birtwistle Graham | ||
| 250 | _a | ||
| 260 | _a | ||
| 260 | _bLondon : Springer-Verlag, 1991 | ||
| 260 | _c1991 | ||
| 300 | _ax,283 p. | ||
| 300 | _c23.5 cm | ||
| 490 | _a | ||
| 100 | _aHigher order workshop (4th : 1990 : Alberta, Canada) | ||
| 700 | _a | ||
| 650 | _a | ||
| 650 | _aAutomatic theorem proving-Congresses | ||
| 650 | _aProgramming languages (Electronic computers)-Congresses | ||
| 650 | _aParallel processing (Electronic computers)-Congresses | ||
| 942 | _cBK | ||
| 942 | _2UDC | ||
| 999 |
_c115846 _d115846 |
||