Search Results - "formalism"

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

    Chapter Nabladot Analysis of Hybrid Theories in International Relations by Cioffi-Revilla, Claudio

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

    Save to List
    Saved in:
  2. 82
    Cover Image

    Chapter User-Centered Design by Doroftei, Daniela

    Published 2017
    Subjects: “…user requirements engineering, system requirements, system validation, design formalisms…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  3. 83
    Cover Image

    Chapter Nabladot Analysis of Hybrid Theories in International Relations by Cioffi-Revilla, Claudio

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

    Save to List
    Saved in:
  4. 84
    Cover Image

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

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

    Save to List
    Saved in:
  5. 85
    Cover Image

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

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

    Save to List
    Saved in:
  6. 86
    Cover Image

    Advances in Proof-Theoretic Semantics

    Published 2016
    Subjects: “…Mathematical Logic and Formal Languages…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  7. 87
    Cover Image

    Specification and verification of object-oriented software components by Roth, Andreas

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

    Save to List
    Saved in:
  8. 88
    Cover Image

    Advances in Proof-Theoretic Semantics

    Published 2016
    Subjects: “…Mathematical Logic and Formal Languages…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  9. 89
    Cover Image

    Schola Be a Volunteer, Succeed at School

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

    Save to List
    Saved in:
  10. 90
    Cover Image

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

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

    Save to List
    Saved in:
  11. 91
    Cover Image

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

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

    Save to List
    Saved in:
  12. 92
    Cover Image

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

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

    Save to List
    Saved in:
  13. 93
    Cover Image

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

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

    Save to List
    Saved in:
  14. 94
    Cover Image

    Über die Formalisierung und Analyse medizinischer Prozesse im Kontext von Expertenwissen und künstlicher Intelligenz by Philipp, Patrick

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

    Save to List
    Saved in:
  15. 95
    Cover Image

    Über die Formalisierung und Analyse medizinischer Prozesse im Kontext von Expertenwissen und künstlicher Intelligenz by Philipp, Patrick

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

    Save to List
    Saved in:
  16. 96
    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 Amal Ahmed

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

    Save to List
    Saved in:
  17. 97
    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:
  18. 98
    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:
  19. 99
    Cover Image

    Re-Reading Hanslick's Aesthetics Die Rezeption Eduard Hanslicks im englischen Sprachraum und ihre diskursiven Grundlagen by Wilfing, Alexander

    Published 2019
    Subjects: “…Eduard Hanslick, formalism, aesthetics of music, music and emotion, theory of emotion, analytical philosophy, New Musicology, Immanuel Kant, Peter Kivy, Stephen Davies, Edmund Gurney, Adam Smith, Heinrich Schenker, John Sullivan Dwight, Clive Bell…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  20. 100
    Cover Image

    Re-Reading Hanslick's Aesthetics Die Rezeption Eduard Hanslicks im englischen Sprachraum und ihre diskursiven Grundlagen by Wilfing, Alexander

    Published 2019
    Subjects: “…Eduard Hanslick, formalism, aesthetics of music, music and emotion, theory of emotion, analytical philosophy, New Musicology, Immanuel Kant, Peter Kivy, Stephen Davies, Edmund Gurney, Adam Smith, Heinrich Schenker, John Sullivan Dwight, Clive Bell…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:

Search Tools: