Search Results - "Logic"

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

    Der junge Carnap in historischem Kontext: 1918-1935 / Young Carnap in an Historical Context: 1918-1935

    Published 2021
    Subjects: “…The Logical Structure of the World…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  2. 322
    Cover Image

    Translations of Security A Framework for the Study of Unwanted Futures by Berling, Trine Villumsen

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

    Save to List
    Saved in:
  3. 323
    Cover Image

    Filosofia e tecnologia Una via di uscita dalla mente digitale by Finelli, Roberto

    Published 2022
    Subjects: “…logical-cognitive value…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  4. 324
    Cover Image

    Der junge Carnap in historischem Kontext: 1918-1935 / Young Carnap in an Historical Context: 1918-1935

    Published 2021
    Subjects: “…The Logical Structure of the World…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  5. 325
    Cover Image

    Translations of Security A Framework for the Study of Unwanted Futures by Berling, Trine Villumsen

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

    Save to List
    Saved in:
  6. 326
    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:
  7. 327
    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:
  8. 328
    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:
  9. 329
    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:
  10. 330
    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:
  11. 331
    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:
  12. 332
    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:
  13. 333
    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:
  14. 334
    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:
  15. 335
    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:
  16. 336
    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:
  17. 337
    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:
  18. 338
    Cover Image

    Einstein vs. Bergson An Enduring Quarrel on Time

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

    Save to List
    Saved in:
  19. 339
    Cover Image

    Einstein vs. Bergson An Enduring Quarrel on Time

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

    Save to List
    Saved in:
  20. 340
    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: