|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
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