The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics

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

doi:10.1006/jsco.2000.0464

CINECA IRIS Institutional Research Information System

IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.

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

Scheda prodotto non validato

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Risorse UNIGE

Titolo:	The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics
Autori:	ARMANDO, ALESSANDRO COGLIO A. GIUNCHIGLIA F. RANISE S. mostra contributor esterni nascondi contributor esterni
Data di pubblicazione:	2001
Rivista:	JOURNAL OF SYMBOLIC COMPUTATION
Handle:	http://hdl.handle.net/11567/208609
Appare nelle tipologie:	01.01 - Articolo su 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/11567/208609

Citazioni

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