Suchergebnisse
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- term
- 08A05 1
- 08A40 1
- 2-potent 1
- 20M10 1
- Scala 1
- UDC 004.424 1
- declarative programming 1
- definition 1
- embedding 1
- logical programming 1
- monad 1
- object-oriented language 1
- operation 1
- relational formula 1
- semigroup 1
- stationary electric field 1
- unification 1
- voltage 1
- voltage drop 1
- УДК 004.424 1
- вбудовування 1
- декларативне програмування 1
- логічне програмування 1
- монада 1
- напряжение 1
- определение 1
- падение напряжения 1
- предметно-орієнтована мова 1
- стационарное электрическое поле 1
-
1
On the Cartesian product of the Menger algebras of terms and relational formulas
Veröffentlicht 2025Volltext
Artikel -
2
-
3
Embedding a family of logic languages with custom monadic unification in Scala
Veröffentlicht 2024Volltext
Artikel