खोज परिणाम - "formal semantics"

प्रस्तावित विषय : खोज निहित
  • प्रदर्शित 1 - 11 परिणाम 11
परिणाम को परिष्कृत करें
  1. 1
    कवर छवि

    A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler द्वारा Lochbihler, Andreas

    प्रकाशित 2012
    विषय: “…formal semantics…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय

    सूची में सहेजें
    में बचाया:
  2. 2
    कवर छवि

    From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security द्वारा Wasserrab, Daniel

    प्रकाशित 2011
    विषय: “…Formal Semantics…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय

    सूची में सहेजें
    में बचाया:
  3. 3
    कवर छवि

    Bridging Formal and Conceptual Semantics Selected papers of BRIDGE-14

    प्रकाशित 2017
    विषय: “…formal semantics…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय

    सूची में सहेजें
    में बचाया:
  4. 4
    कवर छवि

    Sémantique formelle: Volume 1 Introduction à la grammaire de Montague द्वारा Roussarie, Laurent

    प्रकाशित 2017
    विषय: “…formal semantics…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय

    सूची में सहेजें
    में बचाया:
  5. 5
    कवर छवि

    Sémantique formelle: Volume 1 Introduction à la grammaire de Montague द्वारा Roussarie, Laurent

    प्रकाशित 2017
    विषय: “…formal semantics…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय

    सूची में सहेजें
    में बचाया:
  6. 6
    कवर छवि

    Kvantifikacijski vidiki logične oblike v minimalistični teoriji jezika द्वारा Živanović, Sašo

    प्रकाशित 2015
    विषय: “…formal semantics…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय

    सूची में सहेजें
    में बचाया:
  7. 7
    कवर छवि

    Computational Cognitive Modeling and Linguistic Theory द्वारा Brasoveanu, Adrian

    प्रकाशित 2020
    विषय: “…Meaning Representations in Formal Semantics…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय

    सूची में सहेजें
    में बचाया:
  8. 8
    कवर छवि

    Computational Cognitive Modeling and Linguistic Theory द्वारा Brasoveanu, Adrian

    प्रकाशित 2020
    विषय: “…Meaning Representations in Formal Semantics…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय

    सूची में सहेजें
    में बचाया:
  9. 9
    कवर छवि

    Bridging Formal and Conceptual Semantics Selected papers of BRIDGE-14 द्वारा Balogh, Kata

    प्रकाशित 2017
    विषय: “…formal semantics…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय

    सूची में सहेजें
    में बचाया:
  10. 10
    कवर छवि

    Bridging Formal and Conceptual Semantics Selected papers of BRIDGE-14 द्वारा Balogh, Kata

    प्रकाशित 2017
    विषय: “…formal semantics…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय

    सूची में सहेजें
    में बचाया:
  11. 11
    कवर छवि

    Artificial Intelligence for Multisource Geospatial Information

    प्रकाशित 2023
    विषय: “…formal semantics…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय

    सूची में सहेजें
    में बचाया:

खोज साधन: