Article detail

Authors: Cristiá, Maximiliano; Rossi, Gianfranco.

Magazine: JOURNAL OF AUTOMATED REASONING.

articulo_idioma: Inglés.

Editorial: SPRINGER.

Editing place: Berlin.

Publishing country: Alemania.

Reference type: Con Referato.

It's published?: No

ISSN: 0168-7433.

Web page: Link