The Control Component of Open Mechanized Reasoning Systems: Annotation and Tactics

Armando, Alessandro; Coglio, A.; Giunchiglia, F.; Ranise, Silvio

The Control Component of Open Mechanized Reasoning Systems: Annotation and Tactics / ARMANDO A.; COGLIO A.; GIUNCHIGLIA F.; RANISE S.. - In: JOURNAL OF SYMBOLIC COMPUTATION. - ISSN 0747-7171. - 32(2001), pp. 305-332.

Scheda prodotto non validato

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte di FBK.

Scheda breve
Scheda completa

Titolo:	The Control Component of Open Mechanized Reasoning Systems: Annotation and Tactics
Autori:	Armando, Alessandro COGLIO A. GIUNCHIGLIA F. Ranise, Silvio mostra contributor esterni nascondi contributor esterni
Data di pubblicazione:	2001
Rivista:	JOURNAL OF SYMBOLIC COMPUTATION
Handle:	http://hdl.handle.net/11582/21501
Appare nelle tipologie:	1.1 Articolo in rivista

File in questo prodotto:

Non ci sono file associati a questo prodotto.

Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11582/21501

Citazioni

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

CINECA IRIS Institutional Research Information System

Scheda prodotto non validato

File in questo prodotto: