Ohcanbohtosat - "semantics"

  1. 201
  2. 202
  3. 203
  4. 204
  5. 205
  6. 206

    Lazy Evaluation: From natural semantics to a machine-checked compiler transformation Dahkki Breitner, Joachim

    Almmustuhtton 2016
    Fáttát: “…Funktionale Programmierung Formale Verifikation Semantik Isabelle HaskellFunctional Programming Semantics Formal Verification Haskell Isabelle…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektrovnnalaš Girjji oassi
  7. 207

    Cultural Heritage Storytelling, Engagement and Management in the Era of Big Data and the Semantic Web

    Almmustuhtton 2022
    Fáttát: “…semantic analysis…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektrovnnalaš Girjji oassi
  8. 208
  9. 209
  10. 210
  11. 211
  12. 212
  13. 213
  14. 214
  15. 215
  16. 216
  17. 217
  18. 218
  19. 219
  20. 220