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