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

Cardeñosa, Jesús

Institut d'Investigació en Intel·ligència Artificial

Meseguer, Pedro (1958-)

Universidad Politécnica de Madrid

Universitat de les Illes Balears

Autor EUROVAV'93 1993. Palma de Mallorca)
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: