Средство анализа системы булевых уравнений на полумодулярность и дистрибутивность

admin Фев 14, 2001

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