Salta al contenuto principale
Ricerc@Sapienza
Toggle navigation
Home
Login
Home
computer vision and pattern recognition
INFORMATION PROCESSING LETTERS
Risultati ricerca pubblicazioni
Risultati ricerca pubblicazioni
Cerca
Torna alla Home Page delle pubblicazioni
A note about k-DNF resolution
pubblicato su:
INFORMATION PROCESSING LETTERS - 2018
Lauria Massimo
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma