|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|
|Files in This Item:
There are no files associated with this item.
All items in Lirias are protected by copyright, with all rights reserved.