Search Results - "formal"

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

    Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,... by Ahmed, Amal

    Published 2018
    Subjects: “…formal logic…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  2. 62
    Cover Image

    Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,... by Ahmed, Amal

    Published 2018
    Subjects: “…formal logic…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  3. 63
    Cover Image

    Meaningful reform in the Western Balkans Between formal institutions and informal practices

    Published 2019
    Subjects: “…formal…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  4. 64
    Cover Image

    Meaningful reform in the Western Balkans Between formal institutions and informal practices

    Published 2019
    Subjects: “…formal…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  5. 65
    Cover Image

    Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2021
    Subjects: “…formal logic…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  6. 66
    Cover Image

    Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2021
    Subjects: “…formal logic…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  7. 67
    Cover Image

    Modeling the Pāṇinian System of Sanskrit Grammar by Mishra, Anand

    Published 2019
    Subjects: “…Formal representation of Sanskrit grammar…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  8. 68
    Cover Image

    Modeling the Pāṇinian System of Sanskrit Grammar by Mishra, Anand

    Published 2019
    Subjects: “…Formal representation of Sanskrit grammar…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  9. 69
    Cover Image

    Jungen als Bildungsgewinner Eine qualitative Studie zu bildungserfolgreichen Jugendlichen in Risikolebenslagen by Richter, Michael

    Published 2021
    Subjects: “…formal and non-formal settings…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  10. 70
    Cover Image

    Jungen als Bildungsgewinner Eine qualitative Studie zu bildungserfolgreichen Jugendlichen in Risikolebenslagen by Richter, Michael

    Published 2021
    Subjects: “…formal and non-formal settings…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  11. 71
    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
    Subjects: “…formal languages and automata theory…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  12. 72
    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
    Subjects: “…formal languages and automata theory…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  13. 73
    Cover Image

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

    Published 2021
    Subjects: “…Formal Languages and Automata Theory.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  14. 74
    Cover Image

    Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /

    Published 2021
    Subjects: “…Formal Languages and Automata Theory.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  15. 75
    Cover Image

    Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /

    Published 2023
    Subjects: “…Formal Languages and Automata Theory.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  16. 76
    Cover Image

    Sémantique formelle: Volume 1 Introduction à la grammaire de Montague by Roussarie, Laurent

    Published 2017
    Subjects: “…formal semantics…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  17. 77
    Cover Image

    The Natural World as a Resource for Learning and Development: From Schoolyards to Wilderness

    Published 2019
    Subjects: “…Formal learning…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  18. 78
    Cover Image

    Sémantique formelle: Volume 1 Introduction à la grammaire de Montague by Roussarie, Laurent

    Published 2017
    Subjects: “…formal semantics…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  19. 79
    Cover Image

    Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

    Published 2023
    Subjects: “…formal logic…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  20. 80
    Cover Image

    Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

    Published 2023
    Subjects: “…formal logic…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:

Search Tools: