Suchergebnisse
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- 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
Embedding a family of logic languages with custom monadic unification in Scala
Veröffentlicht 2024Volltext
Artikel