Validating and verifying knowledge-based systems /
Saved in:
| 其他作者: | |
|---|---|
| 格式: | 图书 |
| 语言: | English |
| 出版: |
Los Alamitas, Calif. :
IEEE Computer Society Press,
c1991.
|
| 主题: |
| Item Description: | Title on added t.p.: Validation and verification of knowledge-based systems. "IEEE Computer Society Press order number 1995" -- T.p. verso. "IEEE catalog number EH0320-2" -- T.p. verso. |
|---|---|
| 实物描述: | ix, 409 p. : ill. ; 29 cm. |
| 参考书目: | Includes bibliographical references. |
| ISBN: | 0818659955 (microfiche) 0818689951 (case) |