📚 Cs/books/uwu
Посилання
натисніть — покажемо
натисніть — покажемо
Great platform
https://docs.cyd.social/docs/intro/
5 · 167 · Посилання
натисніть — покажемо
99 · натисніть — покажемо
Фотографія
2 · 91 · Файл
unification-and-anti-CoC.pdf · 169 КБ · натисніть — покажемо
unification-and-anti-CoC.pdf · 169 КБ · натисніть — покажемо
Unification and Anti-Unification in the Calculus of Constructions
https://www.cs.cmu.edu/~fp/papers/lics91.pdf
93 · Файл
paramorphism-synthesis.pdf · 371 КБ · натисніть — покажемо
paramorphism-synthesis.pdf · 371 КБ · натисніть — покажемо
Recursive Program Synthesis using Paramorphisms
https://dl.acm.org/doi/pdf/10.1145/3656381
95 · Посилання
натисніть — покажемо
2 · 105 · натисніть — покажемо
Фотографія
2 · 108 ·