Inter-tabular verification in an interactive environment
Vanthienen, J., Mues, C. and Wets, G. (1997) Inter-tabular verification in an interactive environment. In, Vanthienen, Jan and van Harmelen, Frank (eds.) Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-Based Systems (EUROVAV'97). 4th European Symposium on the Validation and Verification of Knowledge Based Systems (EUROVAV'97) Leuven, Belgium, Katholieke Universiteit, 155-165.
Download
Full text not available from this repository.
| Item Type: | Book Section |
|---|---|
| Subjects: | H Social Sciences > HD Industries. Land use. Labor > HD28 Management. Industrial Management |
| Divisions: | University Structure - Pre August 2011 > School of Management |
| Item ID: | 36410 |
| Date Deposited: | 27 Apr 2007 |
| Last Modified: | 02 Mar 2012 13:07 |
| Contributors: | Vanthienen, J. (Author) Mues, C. (Author) Wets, G. (Author) Vanthienen, Jan (Editor) van Harmelen, Frank (Editor) |
| Date: | 1997 |
| Status: | Published |
| Publisher: | Katholieke Universiteit |
| URI: | http://eprints.soton.ac.uk/id/eprint/36410 |
Actions (login required)
 |
View Item |
