• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Книга

Second International Conference on Formal Structures for Computation and Deduction, FSCD 2017

Vol. 84: 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017). 2017.
Под общей редакцией: D. Miller.
Главы книги
Second International Conference on Formal Structures for Computation and Deduction, FSCD 2017