Pubblicazioni

Common equivalence and size of forgetting from Horn formulae

2024 - ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
Liberatore, Paolo

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