European Symposium on the Validation and Verification of Knowledge-Based Systems (EUROVAV), Date: 1997/06/26 - 1997/06/28, Location: Leuven, Belgium
Publication date:
1997-01-01
Publisher:
Katholieke Universiteit Leuven, Belgium
Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV 97
Author:
De Raedt, Luc