|
|
|
|
| LEADER |
01298cam a2200289 a 4500 |
| 001 |
c000285176 |
| 003 |
CARM |
| 005 |
20080722110729.0 |
| 008 |
910626s1991 enka b 100 0 eng |
| 019 |
1 |
|
|a 8186136
|5 LACONCORD2021
|
| 020 |
|
|
|a 0471930180 :
|c $48.30
|
| 035 |
|
|
|a (OCoLC)24065242
|5 LACONCORD2021
|
| 040 |
|
|
|a LC
|b eng
|c LC
|d ABN-SNR
|
| 050 |
0 |
0 |
|a QA76.76.E95
|b V353 1991
|
| 082 |
0 |
0 |
|a 006.3/3
|2 20
|
| 245 |
0 |
0 |
|a Validation, verification, and test of knowledge-based systems /
|c edited by Marc Ayel and Jean-Pierre Laurent.
|
| 260 |
|
|
|a Chichester ;
|a New York :
|b Wiley,
|c c1991.
|
| 300 |
|
|
|a xx, 219 p. :
|b ill. ;
|c 25 cm.
|
| 440 |
|
0 |
|a Wiley professional computing
|
| 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 |
|
|
|a Includes bibliographical references.
|
| 650 |
|
0 |
|a Expert systems (Computer science)
|
| 700 |
1 |
|
|a Laurent, J. P.
|q (Jean Pierre)
|
| 700 |
1 |
|
|a Ayel, Marc.
|
| 852 |
8 |
|
|b CARM
|h A3:AR13F0
|i C11194
|p 0510169
|f BK
|
| 999 |
f |
f |
|i 596feb49-3eca-5024-835d-8480d491dd8e
|s 6f76a1d8-41b1-52e7-94ac-ec41737eeff2
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C11194
|f A3:AR13F0
|h Other scheme
|i book
|m 0510169
|