Distributed automated deduction is concerned with the design and realization of strategies where multiple deductive processes work concurrently towards the solution of theorem-proving problems.
Future directions of automated deduction: Distributed automated deduction (Position paper)
BONACINA, Maria Paola
1996-01-01
Abstract
Distributed automated deduction is concerned with the design and realization of strategies where multiple deductive processes work concurrently towards the solution of theorem-proving problems.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
FDAD-NSF1996pd.pdf
accesso aperto
Descrizione: Articolo
Tipologia:
Documento in Post-print
Licenza:
Creative commons
Dimensione
59.79 kB
Formato
Adobe PDF
|
59.79 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.