Validating and verifying knowledge-based systems /
Gorde:
| Beste egile batzuk: | |
|---|---|
| Formatua: | Liburua |
| Hizkuntza: | English |
| Argitaratua: |
Los Alamitas, Calif. :
IEEE Computer Society Press,
c1991.
|
| Gaiak: |
| Alearen deskribapena: | 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. |
|---|---|
| Deskribapen fisikoa: | ix, 409 p. : ill. ; 29 cm. |
| Bibliografia: | Includes bibliographical references. |
| ISBN: | 0818659955 (microfiche) 0818689951 (case) |