ITEM METADATA RECORD
Title: Machine learning for verification and validation
Authors: De Raedt, Luc #
Issue Date: 1997
Publisher: Katholieke Universiteit Leuven, Belgium
Host Document: Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV 97 pages:4-4
Conference: European Symposium on the Validation and Verification of Knowledge-Based Systems (EUROVAV) edition:4 location:Leuven, Belgium date:June 26-28, 1997
Description: Invited talk
Publication status: published
KU Leuven publication type: IMa
Appears in Collections:Informatics Section
# (joint) last author

Files in This Item:

There are no files associated with this item.

 


All items in Lirias are protected by copyright, with all rights reserved.