Detalle de artículo
Autores: Cristiá, Maximiliano; Rossi, Gianfranco.
Ubicación: JOURNAL OF AUTOMATED REASONING.
Idioma: Inglés.
Editorial: SPRINGER.
Lugar de edición: Berlin.
País de edición: Alemania.
Tipo de referato: Con Referato.
Está publicado?: No
ISSN: 0168-7433.
Enlace al artículo: Aquí