Validating and verifying knowledge-based systems /
שמור ב:
| מחברים אחרים: | |
|---|---|
| פורמט: | ספר |
| שפה: | English |
| יצא לאור: |
Los Alamitas, Calif. :
IEEE Computer Society Press,
c1991.
|
| נושאים: |
| תאור פריט: | 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) |