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

DOI: 10.1145/1182613.1182615
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma