| 000 | 01328nam a2200349 a 4500 | ||
|---|---|---|---|
| 001 | vtls000214518 | ||
| 003 | NLI | ||
| 005 | 20210602120606.0 | ||
| 008 | 101126s1991 caua 000 0 eng | ||
| 020 |
_a0818689951 : _cUSD 96.00 |
||
| 020 | _a0818659955 | ||
| 039 | 9 |
_y201011260104 _zVLOAD |
|
| 040 | 0 |
_aNLI _beng _cEntertech-FY 2010 _eAACR2 |
|
| 041 | 0 | _aeng | |
| 044 | _acau | ||
| 082 | 0 | 4 | _a006.33 |
| 245 | 0 | 0 |
_aValidating and verifying knowledge-based systems / _c[compiled by] Uma G. Gupta |
| 260 |
_aLos Alamitas, Calif. : _bIEEE Computer Society Press, _cc1991 |
||
| 300 |
_aix, 409 p. : _bill. ; _c29 cm. |
||
| 500 | _aTitle on added t.p.: Validation and verification of knowledge-based systems | ||
| 500 | _a"IEEE Computer Society Press order number 1995"--T.p. verso | ||
| 500 | _a"IEEE catalog number EH0320-2"--T.p. verso | ||
| 650 | 0 |
_aExpert systems (Computer science) _xValidation _9399401 |
|
| 650 | 0 |
_aExpert systems (Computer science) _xVerification _9399402 |
|
| 700 | 1 |
_aGupta, Uma G., _4com _9399403 |
|
| 887 | _a | ||
| 901 |
_a521433 _b21.2.1994 |
||
| 902 | _aE/O 006.33 V 238 | ||
| 949 |
_AVIRTUAITEM _D10000 _X100 _6PUR000521433ENG |
||
| 942 |
_2ddc _cBKS |
||
| 999 |
_aVIRTUA40 _c217428 _d217428 |
||
| 999 | _aVTLSSORT0080*0200*0201*0400*0410*0440*0820*2450*2600*3000*5000*5001*5002*6500*6501*7000*9010*9020*9490*9991 | ||