Jesús Cardeñosa, Pedro Meseguer, editors, Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV 93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain. Universidad Politécnica de Madrid, 1993.
Conference: eurovav1993
@proceedings{eurovav:1993,
title = {Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV 93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain},
year = {1993},
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 },
researchr = {https://researchr.org/publication/eurovav%3A1993},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV 93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain},
conference = {eurovav},
editor = {Jesús Cardeñosa and Pedro Meseguer},
publisher = {Universidad Politécnica de Madrid},
isbn = {84-604-5817-2},
}