Search Results - "Logic"

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

    The Amazing Journey of Reason from DNA to Artificial Intelligence by Alemi, Mario

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

    Save to List
    Saved in:
  2. 302
    Cover Image

    Sport, Performance and Sustainability

    Published 2023
    Subjects: “…digitization;environment;logics of sport;PE;performance;physical education;Sportification;sustainability;sustainable development;technology;training…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  3. 303
    Cover Image

    Sport, Performance and Sustainability

    Published 2023
    Subjects: “…digitization;environment;logics of sport;PE;performance;physical education;Sportification;sustainability;sustainable development;technology;training…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  4. 304
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

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

    Save to List
    Saved in:
  5. 305
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

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

    Save to List
    Saved in:
  6. 306
    Cover Image

    Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

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

    Save to List
    Saved in:
  7. 307
    Cover Image

    Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

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

    Save to List
    Saved in:
  8. 308
    Cover Image

    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:
  9. 309
    Cover Image

    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:
  10. 310
    Cover Image

    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:
  11. 311
    Cover Image

    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:
  12. 312
    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:
  13. 313
    Cover Image

    Ethik und Moral im Wiener Kreis Zur Geschichte eines engagierten Humanismus by Siegetsleitner, Annemarie

    Published 2014
    Subjects: “…logical empiricism…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  14. 314
    Cover Image

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

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

    Save to List
    Saved in:
  15. 315
    Cover Image

    Type-Logical Syntax by Kubota, Yusuke

    Published 2020
    Subjects: “…Type-Logical Grammar…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  16. 316
    Cover Image

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

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

    Save to List
    Saved in:
  17. 317
    Cover Image

    Materialität und Sozialität des selbstbewussten Subjekts Die Subjektivität des denkenden Lebewesens und sein Widerspruch by Frey, Michael

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

    Save to List
    Saved in:
  18. 318
    Cover Image

    Logical Time for Decentralized Control of Material Handling Systems by Seibold, Zäzilia

    Published 2016
    Subjects: “…Handhabung von DeadlocksLogical Time…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  19. 319
    Cover Image

    Materialität und Sozialität des selbstbewussten Subjekts Die Subjektivität des denkenden Lebewesens und sein Widerspruch by Frey, Michael

    Published 2023
    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. 320
    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:

Search Tools: