000 | 00442nam a2200145Ia 4500 | ||
---|---|---|---|
008 | 220709b1988 xxu||||| |||| 00| 0 eng d | ||
082 |
_a621.38195 _bG52L |
||
245 |
_aLecture notes in computer science _bV.306. Foundations of logic and functional programming |
||
260 | _c1988 | ||
630 | _aComputers | ||
700 | _aBoscarol, M., Levi, G. Ed. Goos, G. Editor | ||
964 | _bEnglish | ||
964 | _ePaper Fo | ||
942 | _cBooks | ||
906 | _a11551 | ||
981 | _a1988. | ||
983 | _aLecture notes in computer science : V.306. Foundations of logic and functional programming:workshop;proceedings,trento,italy,Dec.15-19,1986 | ||
999 |
_c11416 _d11416 |