Métodos de Tableaux para Lógicas con Declaraciones de Términos, Dominios Preordenados y Operaciones Monótonas
Publisher: Universidad Complutense de Madrid, Servicio de Publicaciones
Published: 2005
Language: eng
ISBN-13: 9781413556988