Материалы 4-ой международной конференции по прикладной логикесборник

Статьи, опубликованные в сборнике

---

• • 1995 Вывод инвариантов программ с использованием антиунификации
  • Захаров В.А.
  • в сборнике Материалы 4-ой международной конференции по прикладной логике, место издания Иркутский государственный университет Иркутск, тезисы, с. 33-34
• • 1995 Моделирование логических программ пропозициональными схемами
  • Захаров В.А., Болгов С.К.
  • в сборнике Материалы 4-ой международной конференции по прикладной логике, место издания Иркутский государственный университет Иркутск, тезисы, с. 35-36
• • 1995 Проект смешанной операторно-логической системы программирования
  • Захаров В.А., Маневич С.И.
  • в сборнике Материалы 4-ой международной конференции по прикладной логике, место издания Иркутский государственный университет Иркутск, тезисы, с. 37-38