| 000 | 01231cam a2200277 a 4500 | ||
|---|---|---|---|
| 999 |
_c61730 _d61730 |
||
| 001 | 2960292 | ||
| 003 | FUTML | ||
| 005 | 20170509102913.0 | ||
| 007 | ta | ||
| 008 | 170509s1991 enka b 100 0 eng | ||
| 010 | _a 91022277 | ||
| 020 |
_a0471930180 : _c$48.30 |
||
| 037 | _aB-15547 | ||
| 040 |
_aDLC _cDLC _dDLC |
||
| 050 | 0 | 0 |
_aQA76.76.E95 _b.V35 1991 |
| 082 | 0 | 0 |
_a006.3/3 _220 |
| 245 | 0 | 0 |
_aValidation, verification, and test of knowledge-based systems / _cedited by Marc Ayel and Jean-Pierre Laurent. |
| 260 |
_aChichester ; _aNew York : _bWiley, _cc1991. |
||
| 300 |
_axx, 219 p. : _bill. ; _c25 cm. |
||
| 440 | 0 |
_aWiley professional computing _911738 |
|
| 500 | _a"Contributions presented at the first European Workshop on Vallidation, Verification, and Test of Knowledge-based System[s], which was organized during the ECAI 90 Conference in Stockholm"--Foreword. | ||
| 504 | _aIncludes bibliographical references. | ||
| 590 | _aB-15547/abu/09/05/17 | ||
| 650 | 0 |
_aExpert systems (Computer science) _91928 |
|
| 700 | 1 |
_aAyel, Marc. _912403 |
|
| 700 | 1 |
_aLaurent, Jean-Pierre. _912404 |
|
| 906 |
_a7 _bcbc _corignew _d1 _eocip _f19 _gy-gencatlg |
||
| 912 |
_aAbu _bAbu _cAbu |
||
| 942 |
_2lcc _cBKS |
||
| 949 |
_aGK _cQA76.76.E95.V35 1991 _d.V35 1991 _nnc 1 |
||