ИСТИНА

• Охват: Международная
• Даты проведения: 4-7 января 2016
• Место проведения: Флорида, United States
• Организатор:
  Florida Atlantic University
• Веб-сайт: http://lfcs.info/lfcs-2016/
• Описание конференции:

  Симпозиум по логическим основаниям и методам в информатике

• Добавил в систему: Крупский Владимир Николаевич

Доклады:

• 2016 Sequent calculus for intuitionistic epistemic logic IEL (Устный)
• Авторы: Yatmanov A., Krupski V.N.