| 000 | 00820nam a2200241 a 4500 | ||
|---|---|---|---|
| 001 | vtls000030808 | ||
| 003 | KUKTEM | ||
| 005 | 20251117145152.0 | ||
| 008 | 080813t2007 ii a f 001 0 eng|d | ||
| 020 | _a9788120331716 | ||
| 039 | 9 |
_a201107132037 _bVLOAD _c200908141508 _dVLOAD _c200908141438 _dVLOAD _c200908132021 _dVLOAD _y200808130826 _zida84 |
|
| 040 | _aUMP | ||
| 090 | _aQA76.63 .H37 2007 | ||
| 100 | 1 | _aHarel, David | |
| 245 | 1 | 0 |
_aDynamic logic / _cDavid harrel, Dexter Kozen, Jerzy Tiuryn |
| 260 |
_aNew Delhi : _bPrentice - Hall of India, _c2007 |
||
| 300 |
_a459 p. : _bill. ; _c24 cm. |
||
| 650 | 0 | _aLogic programming | |
| 650 | 0 | _aDynamic programming | |
| 700 | 1 | _aKozen, Dexter | |
| 700 | 1 | _aTiuryn, Jerzy | |
| 999 |
_aVIRTUA40 _c40782 _d40788 |
||
| 999 | _aVTLSSORT0080*0200*0400*0900*1000*2450*2600*3000*6500*6501*7000*7001*9991 | ||