Search Results - Formal semantics (natural language)

Suggested Topics within your search.
Refine Results
  1. 61
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

    Published 2022
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  2. 62
    Cover Image

    Perspectives on information structure in Austronesian languages

    Published 2018
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  3. 63
    Cover Image

    Perspectives on information structure in Austronesian languages

    Published 2018
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  4. 64
    Cover Image

    A Semantic Approach to Describe Social and Economic Characteristics That Impact Health Outcomes (Social Determinants of Health): Ontology Development Study by Daniela Dally, Muhammad Amith, Rebecca L Mauldin, Latisha Thomas, Yifang Dang, Cui Tao

    Published 2024
    Connect to this object online.
    Book

    Save to List
    Saved in:
  5. 65
    Cover Image

    Rooting language in Arabic dialect Alkhozstanah by عاطي عبيات

    Published 2019
    Connect to this object online.
    Book

    Save to List
    Saved in:
  6. 66
    Cover Image

    Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers /

    Published 2021
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  7. 67
    Cover Image

    Exercise types for reading comprehension in foreign language classes by Iryna V. Piankovska

    Published 2020
    Connect to this object online.
    Book

    Save to List
    Saved in:
  8. 68
    Cover Image

    Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

    Published 2020
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  9. 69
    Cover Image

    Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

    Published 2020
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  10. 70
    Cover Image

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

    Published 2021
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  11. 71
    Cover Image

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

    Published 2021
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  12. 72
    Cover Image

    Linguistic Awareness of the Prepositional Phrase Complexities in the English as a Foreign Language Context by Chinger Enrique Zapata-Leal, María Cecilia Ávila-Portuanto

    Published 2021
    Connect to this object online.
    Book

    Save to List
    Saved in:
  13. 73
    Cover Image

    THE TRANSLATION OF SLANG AND SWEAR WORDS IN DEADPOOL MOVIE: THE ANALYSIS OF EQUIVALENCE IN THE SOURCE AND TARGET LANGUAGE by Karinda, Ajeng Mediastri

    Published 2017
    Link Metadata
    Book

    Save to List
    Saved in:
  14. 74
    Cover Image

    Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /

    Published 2023
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  15. 75
    Cover Image

    Using critical discourse analysis to explore an authentic teaching material: A focus on language and power by Sukma Septian Nasution, Nur Najibah Sukmawati, Azhar Aziz Lubis, Tommy Hastomo, Lodya Sesriyani

    Published 2020
    Connect to this object online.
    Book

    Save to List
    Saved in:
  16. 76
    Cover Image

    Ontologie-basierte Monosemierung by Kleb, Joachim

    Published 2015
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  17. 77
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

    Published 2019
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  18. 78
    Cover Image

    Intercultural Competence and Pragmatics by Schauer, Gila A.

    Published 2024
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  19. 79
    Cover Image

    Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2020
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  20. 80
    Cover Image

    Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2020
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:

Search Tools: