Search Results - "Logic"

Suggested Topics within your search.
Refine Results
  1. 161
    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:
  2. 162
    Cover Image

    Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...

    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. 163
    Cover Image

    Simulation and Gaming

    Published 2018
    Subjects: “…Computer architecture & logic design bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  4. 164
    Cover Image

    Educating Health Professionals in Genomic Medicine: Evidence-Based Strategies and Approaches

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

    Save to List
    Saved in:
  5. 165
    Cover Image

    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

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

    Save to List
    Saved in:
  6. 166
    Cover Image

    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

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

    Save to List
    Saved in:
  7. 167
    Cover Image

    Derrida on Being as Presence Questions and Quests by White, David A.

    Published 2017
    Subjects: “…Philosophy: logic bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  8. 168
    Cover Image

    The Reasoning Brain: The Interplay between Cognitive Neuroscience and Theories of Reasoning by Vinod Goel

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

    Save to List
    Saved in:
  9. 169
    Cover Image

    Reflektierte algorithmische Textanalyse. Interdisziplinäre(s) Arbeiten in der CRETA-Werkstatt

    Published 2020
    Subjects: “…Philosophy: logic bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  10. 170
    Cover Image

    Reflektierte algorithmische Textanalyse. Interdisziplinäre(s) Arbeiten in der CRETA-Werkstatt

    Published 2020
    Subjects: “…Philosophy: logic bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  11. 171
    Cover Image

    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

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

    Save to List
    Saved in:
  12. 172
    Cover Image

    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

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

    Save to List
    Saved in:
  13. 173
    Cover Image

    Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...

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

    Save to List
    Saved in:
  14. 174
    Cover Image

    Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...

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

    Save to List
    Saved in:
  15. 175
    Cover Image

    The Principle of Unrest Activist Philosophy in the Expanded Field by Massumi, Brian

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

    Save to List
    Saved in:
  16. 176
    Cover Image

    Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2... by Alessandra Russo

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

    Save to List
    Saved in:
  17. 177
    Cover Image

    Sprachliche Aggression bei Martin Luther Argumentationsformen und -funktionen am Beispiel der Streitschrift Wider das Papsttum zu Rom vom Teufel gestiftet (1545) by Hundt, Markus

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

    Save to List
    Saved in:
  18. 178
    Cover Image

    The Principle of Unrest Activist Philosophy in the Expanded Field by Massumi, Brian

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

    Save to List
    Saved in:
  19. 179
    Cover Image

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

    Published 2021
    Subjects: “…Computer Science Logic and Foundations of Programming.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  20. 180
    Cover Image

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

    Published 2023
    Subjects: “…Computer Science Logic and Foundations of Programming.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:

Search Tools: