Počet záznamů: 1
DNF Tautologies with a Limited Number of Occurrences of Every Variable
- 1.SAVICKÝ, P., SGALL, J. DNF Tautologies with a Limited Number of Occurrences of Every Variable. Theoretical Computer Science. 2000, 238(1-2), 495-498. ISSN 0304-3975. E-ISSN 1879-2294. Dostupné z: doi: 10.1016/S0304-3975(00)00036-0
Počet záznamů: 1