Home » Publication » 16540

Dettaglio pubblicazione

2007, ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, Pages 65-83 (volume: 8(1))

Compilability of Propositional Abduction (01a Articolo in rivista)

Liberatore Paolo, Schaerf Marco

keywords

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma