Validating and verifying knowledge-based systems /
Saved in:
| Andre forfattere: | |
|---|---|
| Format: | Bog |
| Sprog: | English |
| Udgivet: |
Los Alamitas, Calif. :
IEEE Computer Society Press,
c1991.
|
| Fag: |
| Emne beskrivelse: | 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. |
|---|---|
| Fysisk beskrivelse: | ix, 409 p. : ill. ; 29 cm. |
| Bibliografi: | Includes bibliographical references. |
| ISBN: | 0818659955 (microfiche) 0818689951 (case) |