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

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