Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
unification
621.315
1
Scala
1
UDC 004.424
1
declarative programming
1
electric grid
1
embedding
1
logical programming
1
monad
1
object-oriented language
1
optimization
1
overhead lines
1
parameters series of wire cross-sections
1
reconstruction
1
term
1
time element
1
УДК 004.424
1
вбудовування
1
декларативне програмування
1
логічне програмування
1
монада
1
предметно-орієнтована мова
1
терм
1
уніфікація
1
-
1
-
2