Suggested Topics within your search.
Showing 421 - 440 results of 1,981 for search '"logics"', query time: 0.09s Refine Results
  1. 421
    Fading Foundations Probability and the Regress Problem

    Fading Foundations Probability and the Regress Problem by Atkinson, David

    Published 2017
    Subjects:
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  2. 422
    Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things

    Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things by Marwedel, Peter

    Published 2021
    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:
  3. 423
    The Everyday Life of an Algorithm

    The Everyday Life of an Algorithm by Neyland, Daniel

    Published 2019
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  4. 424
    Kvantifikacijski vidiki logične oblike v minimalistični teoriji jezika

    Kvantifikacijski vidiki logične oblike v minimalistični teoriji jezika by Živanović, Sašo

    Published 2015
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  5. 425
    The Everyday Life of an Algorithm

    The Everyday Life of an Algorithm by Neyland, Daniel

    Published 2019
    Subjects:
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  6. 426
    Computational Cognitive Modeling and Linguistic Theory

    Computational Cognitive Modeling and Linguistic Theory by Brasoveanu, Adrian

    Published 2020
    Subjects: “…Incremental Dynamic Predicate Logic…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  7. 427
    Paul Lorenzen -- Mathematician and Logician

    Paul Lorenzen -- Mathematician and Logician

    Published 2021
    Subjects: “…Game Semantics for Substructural Logics…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  8. 428
    Computational Cognitive Modeling and Linguistic Theory

    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:
  9. 429
    Paul Lorenzen -- Mathematician and Logician

    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:
  10. 430
    Basic Knowledge and Conditions on Knowledge

    Basic Knowledge and Conditions on Knowledge by McBride, Mark

    Published 2017
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  11. 431
    Basic Knowledge and Conditions on Knowledge

    Basic Knowledge and Conditions on Knowledge by McBride, Mark

    Published 2017
    Subjects:
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  12. 432
    Doing the Right Thing A Value Based Economy

    Doing the Right Thing A Value Based Economy by Klamer, Arjo

    Published 2017
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  13. 433
    Dynamic Modeling and Simulation for Control Systems

    Dynamic Modeling and Simulation for Control Systems

    Published 2023
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  14. 434
    Doing the Right Thing A Value Based Economy

    Doing the Right Thing A Value Based Economy by Klamer, Arjo

    Published 2017
    Subjects:
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  15. 435
    Language Between God and the Poets maʿnā in the eleventh century

    Language Between God and the Poets maʿnā in the eleventh century by Key, Alexander

    Published 2018
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  16. 436
    Language Between God and the Poets maʿnā in the eleventh century

    Language Between God and the Poets maʿnā in the eleventh century by Key, Alexander

    Published 2018
    Subjects:
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  17. 437
    Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023

    Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023

    Published 2023
    Subjects: “…Computer architecture & logic design bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  18. 438
    Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

    Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

    Published 2020
    Subjects: “…Computer architecture & logic design bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  19. 439
    Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021

    Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021

    Published 2021
    Subjects: “…Computer architecture & logic design bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  20. 440
    Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

    Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

    Published 2020
    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:

Search Tools: