Средство анализа системы булевых уравнений на полумодулярность и дистрибутивность
Свидетельство № 2001610157 Российская Федерация. Средство анализа системы булевых уравнений на полумодулярность и дистрибутивность; свидетельство об официальной регистрации программы для ЭВМ / Морозов Н.В., Рождественский Ю.В.: заявитель и правообладатель ИПИ…