Proceedings of the 10th ESSLLI Student Session (Heriot-Watt University, Edinburgh)сборник

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

---

• • 2005 An Approach to Automation of Program Synthesis in the Deductive Tableau
  • Korukhova Yulia
  • в сборнике Proceedings of the 10th ESSLLI Student Session (Heriot-Watt University, Edinburgh), с. 122-133