| 000 | 00719nam a2200229 a 4500 | ||
|---|---|---|---|
| 005 | 20250930111717.0 | ||
| 008 | 000120s1980 my 00 eng d | ||
| 039 | 9 |
_y01-20-2000 _zVLOAD |
|
| 090 | _aXM | ||
| 100 | _aMohd. Zahran Halim | ||
| 245 | 0 | 0 | _aOn the conversion of structured specifications to logicprograms, Mohd. Zahran Halim |
| 260 | _aPulau Pinang, Universiti Sains Malaysia, 1980 | ||
| 300 | _a33 p. : ill. | ||
| 440 | _aReport; 10/82 | ||
| 650 | _aLogic programming | ||
| 710 |
_aUniversiti Sains Malaysia _948646 |
||
| 907 |
_a.b12633951 _b2021-05-28 _c2019-11-12 |
||
| 942 |
_n0 _kXM |
||
| 914 | _avtls000272137 | ||
| 998 |
_anone _b2000-07-01 _cm _da _feng _gmy _y0 _z.b12633951 |
||
| 999 |
_c264227 _d264227 |
||