Search Results - "Logic"

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

    Computational Cognitive Modeling and Linguistic Theory by Brasoveanu, Adrian

    Published 2020
    Subjects: “…Incremental Dynamic Predicate Logic…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  2. 802
    Cover Image

    Paul Lorenzen -- Mathematician and Logician

    Published 2021
    Subjects: “…Game Semantics for Substructural Logics…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  3. 803
    Cover Image

    Landscapes of Care Immigration and Health in Rural America by Sangaramoorthy, Thurka

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

    Save to List
    Saved in:
  4. 804
    Cover Image

    Landscapes of Care Immigration and Health in Rural America by Sangaramoorthy, Thurka

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

    Save to List
    Saved in:
  5. 805
    Cover Image

    Langage, discours, pensée Leçon inaugurale prononcée le jeudi 12 décembre 2019 by Recanati, François

    Published 2020
    Subjects: “…Analytical philosophy & Logical Positivism bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  6. 806
    Cover Image

    Urban Operating Systems Producing the Computational City by Luque-Ayala, Andrés

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

    Save to List
    Saved in:
  7. 807
    Cover Image

    Nucleic Acid Architectures for Therapeutics, Diagnostics, Devices and Materials by Afonin, Kirill

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

    Save to List
    Saved in:
  8. 808
    Cover Image

    Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

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

    Save to List
    Saved in:
  9. 809
    Cover Image

    Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

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

    Save to List
    Saved in:
  10. 810
    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:
  11. 811
    Cover Image

    Die Schönheit des Denkens Mathematisierung der Wahrnehmung am Beispiel der Computational Neurosciences by Fitsch, Hannah

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

    Save to List
    Saved in:
  12. 812
    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:
  13. 813
    Cover Image

    Die Schönheit des Denkens Mathematisierung der Wahrnehmung am Beispiel der Computational Neurosciences by Fitsch, Hannah

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

    Save to List
    Saved in:
  14. 814
    Cover Image

    Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...

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

    Save to List
    Saved in:
  15. 815
    Cover Image

    Supercomputing Frontiers 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings

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

    Save to List
    Saved in:
  16. 816
    Cover Image

    Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I

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

    Save to List
    Saved in:
  17. 817
    Cover Image

    Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...

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

    Save to List
    Saved in:
  18. 818
    Cover Image

    Supercomputing Frontiers 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings

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

    Save to List
    Saved in:
  19. 819
    Cover Image

    Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I

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

    Save to List
    Saved in:
  20. 820
    Cover Image

    Organisierte Zerrissenheit Emotionsregimes und Interaktionsarbeit in Pflege und Weiterbildung by Betzelt, Sigrid

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

    Save to List
    Saved in:

Search Tools: