Proceedings of EUROVAV'93
| Título | Proceedings of EUROVAV'93 ;European Symposium on the Validation and Verification of Knowledge Based Systems, 24-25-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca (Spain) ; edited by Jesús Cardeñosa, Pedro Meseguer ; sponsored by Commission of the European Communities, Comisión Interministerial de Ciencia y Tecnología ; organized by Universitat de les Illes Balears, Universitat Politécnica de Madrid, Institut d'Investigació en Intel·ligència Artificial ; |
| Lugar de publicación |
Madrid [Boadilla del Monte] |
| Editorial |
distributed by Univ.Polit. J. Cardeñosa ; |
| Fecha de publicación | [1993] |
| Descripción física o extensión | 347 p. |
| Dimensiones | 24 cm |
| Depósito Legal | M 8434-1993 |
| Participante |
Institut d'Investigació en Intel·ligència Artificial |
| Autor | EUROVAV'93 1993. Palma) |
| Tipo de material | [Texto impreso] |
| ISBN | 84-604-5817-2 |
| Nota | Bibliografía |
Ejemplares disponibles 
| Signatura | DL/693097 |
| Localización | Ejemplar de conservación |
| Sede | Sede de Alcalá |
| Signatura | 9/131408 |
| Localización | Salón General |
| Sede | Sede de Recoletos |
| Signatura | AHM/297918 |
| Localización | Salón General-Petición anticipada |
| Sede | Sede de Alcalá |
Más información de ejemplares +
Acceder a esta obra
Este recurso puede obtenerse en la propia Biblioteca Nacional de España, solicitando una copia, o por préstamo interbibliotecario (solo bibliotecas), utilizando las siguientes opciones: