ИСТИНА

• Охват: Международная
• Даты проведения: 2014
• Место проведения: Vasteras, Sweden, Sweden
• Описание конференции:

  COMPSAC is the IEEE Signature Conference on Computers, Software, and Applications. It is one of the major international forums for academia, industry, and government to discuss research results, advancements and future trends in computer and software technologies and applications. The technical program includes keynote addresses, research papers, industrial case studies, panel discussions, fast abstracts, doctoral symposium, poster sessions, and a number of workshops on emerging important topics.

• Добавил в систему: Шангин Василий Олегович

Доклады:

• 2014 Tackling Incomplete System Specications Using Natural Deduction in the Paracomplete Setting
• Авторы: Шангин В.О., Bolotov A.E.