ИСТИНА

• Даты проведения: 2011
• Место проведения: Нижний Новгород
• Описание конференции:

  ЦЕЛЬ КОНФЕРЕНЦИИ — обсуждение результатов и выявление актуальных направлений теоретических, методологических и практических исследований в области теоретической кибернетики, дискретной математики и теоретической информатики, а также координация работ в ведущих научных центрах.

• Добавил в систему: Новикова Татьяна Анатольевна

Доклады:

• 2011 О применении антиунификации подстановок для проверки эквивалентности программ
• Авторы: Новикова Т.А., Захаров В.А.