ИСТИНА

• Охват: Международная
• Даты проведения: 2005
• Место проведения: TU Dresden, Germany, Germany
• Описание конференции:

  http://www.computational-logic.org/content/events/iccl-ss-2005/timetable.php?id=24

• Добавил в систему: Корухова Юлия Станиславовна

Доклады:

• 2005 Automation of Program Synthesis from Logic-Based Specifications in the Deductive Tableau (Устный)
• Автор: Корухова Ю.С.