Leibniz International Proceedings in Informaticsсерия сборников

• Добавил в систему: Кузнецов Степан Львович

Сборники, входящие в состав серии

---

• • 2017 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017) (Oxford, September 3–9, 2017)
  • серия Leibniz International Proceedings in Informatics, том 84
  • место издания Schloss Dagstuhl–Leibniz-Zentrum für Informatik Dagstuhl