000 | 00471nab a2200157Ia 4500 | ||
---|---|---|---|
008 | 230808s1990 |||||||f |||| 00| 0 eng d | ||
100 |
_aDebray, Samya K. _9791440 |
||
100 |
_aWarren, David S. _9791441 |
||
245 | 0 | _aTowards BanishingCut from Prolog | |
300 | _a335-349 p. | ||
650 | _aOptimization | ||
650 |
_aProgram Trans Formations _9783719 |
||
650 |
_aProlog _9783162 |
||
773 |
_d1990 _tIEEE Transactions on Software Engineering _x00985589 |
||
942 |
_cART _o51 _pABUL KALAM Library |
||
999 |
_c750199 _d750199 |