
Principles and practice in verifying rule-based systems*
Preece, Alun D., Shinghal, Rajjan, Batarekh, AïdaVolume:
7
Langue:
english
Journal:
The Knowledge Engineering Review
DOI:
10.1017/s026988890000624x
Date:
June, 1992
Fichier:
PDF, 1.83 MB
english, 1992