Suggested Topics within your search.
Showing 321 - 340 results of 1,981 for search '"logics"', query time: 0.10s Refine Results
  1. 321
    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

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

    Published 2023
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  2. 322
    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

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

    Published 2023
    Subjects:
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  3. 323
    Ragione, desiderio, artificio Hegel e Hobbes a confronto

    Ragione, desiderio, artificio Hegel e Hobbes a confronto by Frilli, Guido

    Published 2017
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  4. 324
    Ragione, desiderio, artificio Hegel e Hobbes a confronto

    Ragione, desiderio, artificio Hegel e Hobbes a confronto by Frilli, Guido

    Published 2017
    Subjects:
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  5. 325
    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

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

    Published 2023
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  6. 326
    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

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

    Published 2023
    Subjects:
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  7. 327
    Simulation and Gaming

    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:
  8. 328
    Educating Health Professionals in Genomic Medicine: Evidence-Based Strategies and Approaches

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

    Published 2020
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  9. 329
    Derrida on Being as Presence Questions and Quests

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

    Published 2017
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  10. 330
    The Reasoning Brain: The Interplay between Cognitive Neuroscience and Theories of Reasoning

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

    Published 2017
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  11. 331
    Reflektierte algorithmische Textanalyse. Interdisziplinäre(s) Arbeiten in der CRETA-Werkstatt

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

    Published 2020
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  12. 332
    Reflektierte algorithmische Textanalyse. Interdisziplinäre(s) Arbeiten in der CRETA-Werkstatt

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

    Published 2020
    Subjects:
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  13. 333
    Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings

    Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings

    Published 2023
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  14. 334
    Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings

    Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings

    Published 2023
    Subjects:
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  15. 335
    Rudolf Carnap, Tagebücher. Band 2. 1920-1935: Herausgegeben von Christian Damböck, unter Mitarbeit von Brigitta Arden, Roman Jordan, Brigitte Parakenings und Lois M. Rendl

    Rudolf Carnap, Tagebücher. Band 2. 1920-1935: Herausgegeben von Christian Damböck, unter Mitarbeit von Brigitta Arden, Roman Jordan, Brigitte Parakenings und Lois M. Rendl by Carnap, Rudolf

    Published 2022
    Subjects: “…Analytical philosophy & Logical Positivism bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  16. 336
    Rudolf Carnap, Tagebücher. Band 2. 1920-1935: Herausgegeben von Christian Damböck, unter Mitarbeit von Brigitta Arden, Roman Jordan, Brigitte Parakenings und Lois M. Rendl

    Rudolf Carnap, Tagebücher. Band 2. 1920-1935: Herausgegeben von Christian Damböck, unter Mitarbeit von Brigitta Arden, Roman Jordan, Brigitte Parakenings und Lois M. Rendl by Carnap, Rudolf

    Published 2022
    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:
  17. 337
    Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

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

    Published 2023
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  18. 338
    Rudolf Carnap, Tagebücher. Band 1. 1908-1919: Herausgegeben von Christian Damböck, unter Mitarbeit von Brigitta Arden, Roman Jordan, Brigitte Parakenings und Lois M. Rendl

    Rudolf Carnap, Tagebücher. Band 1. 1908-1919: Herausgegeben von Christian Damböck, unter Mitarbeit von Brigitta Arden, Roman Jordan, Brigitte Parakenings und Lois M. Rendl by Carnap, Rudolf

    Published 2022
    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
    Rudolf Carnap, Tagebücher. Band 1. 1908-1919: Herausgegeben von Christian Damböck, unter Mitarbeit von Brigitta Arden, Roman Jordan, Brigitte Parakenings und Lois M. Rendl

    Rudolf Carnap, Tagebücher. Band 1. 1908-1919: Herausgegeben von Christian Damböck, unter Mitarbeit von Brigitta Arden, Roman Jordan, Brigitte Parakenings und Lois M. Rendl by Carnap, Rudolf

    Published 2022
    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
    Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

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

    Published 2023
    Subjects:
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:

Search Tools: