324315
Автоматная сложность вычисления формул : диссертация ... кандидата физико-математических наук : 01.01.09 Кудрин, Александр Александрович
2000, Москва
Математика. Диссертация Автоматная сложность вычисления формул : диссертация ... кандидата физико-математических наук : 01.01.09, Москва, 2000