%0 Conference Paper %1 conf/eurovav/WielingaAS93 %A Wielinga, Bob J. %A Akkermans, Hans %A Schreiber, Guus %B EUROVAV %D 1993 %E Lera, Jesús Cardeñosa %E Meseguer, Pedro %I Universidad Politécnica de Madrid %K dblp %P 29-50 %T Validation and Verification of Knowledge Models. %U http://dblp.uni-trier.de/db/conf/eurovav/eurovav1993.html#WielingaAS93 %@ 84-604-5817-2

@inproceedings{conf/eurovav/WielingaAS93, added-at = {2002-01-03T00:00:00.000+0100}, author = {Wielinga, Bob J. and Akkermans, Hans and Schreiber, Guus}, biburl = {https://www.bibsonomy.org/bibtex/2fc35470699296700b29b9c8787449763/dblp}, booktitle = {EUROVAV}, crossref = {conf/eurovav/1993}, editor = {Lera, Jesús Cardeñosa and Meseguer, Pedro}, interhash = {9b627db4beb388c277cd35c95941bc84}, intrahash = {fc35470699296700b29b9c8787449763}, isbn = {84-604-5817-2}, keywords = {dblp}, note = {Sponsored by: Commission of the European Communities, Comisión Interministral de Ciencia y Tecnología; Organized by: Universitat de les Illes Balears, Universidad Politécnica de Madrid, Institut d'Investigació en Intelligencia Artificial}, pages = {29-50}, publisher = {Universidad Politécnica de Madrid}, timestamp = {2020-11-17T11:35:57.000+0100}, title = {Validation and Verification of Knowledge Models.}, url = {http://dblp.uni-trier.de/db/conf/eurovav/eurovav1993.html#WielingaAS93}, year = 1993 }