Validation, verification, and test of knowledge-based systems / edited by Marc Ayel and Jean-Pierre Laurent.
Contributor(s): Ayel, Marc
| Laurent, Jean-Pierre
.
Material type: 

No physical items for this record
"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.
Includes bibliographical references.
B-15545/abu/17/02/05
There are no comments for this item.