Suggested Topics within your search.
Showing 281 - 300 results of 1,098 for search '"logics"', query time: 0.07s Refine Results
  1. 281
    Fading Foundations : Probability and the Regress Problem
    by Atkinson, David
    Published 2017
    Subjects: “…Mathematical Logic and Foundations…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  2. 282
    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…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  3. 283
    Analyse von Kundenaktivitäten und der Bereitstellungsqualität von Büchern aus Kundensicht : Mit einer Untersuchung von Kundenkommentaren zu Mietangeboten für E-Books
    by Wittrock, Janina
    Published 2019
    Subjects: “…Value in Use, activity theory, consumer activities, Customer dominant logic, CDL, customer focus…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  4. 284
    Paul Lorenzen -- Mathematician and Logician
    Published 2021
    Subjects: “…Game Semantics for Substructural Logics…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  5. 285
    Basic Knowledge and Conditions on Knowledge
    by McBride, Mark
    Published 2017
    Subjects: “…Logical consequence…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  6. 286
    Computational Cognitive Modeling and Linguistic Theory
    by Brasoveanu, Adrian
    Published 2020
    Subjects: “…Incremental Dynamic Predicate Logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  7. 287
    Doing the Right Thing : A Value Based Economy
    by Klamer, Arjo
    Published 2017
    Subjects: “…Logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  8. 288
    Language Between God and the Poets : maʿnā in the eleventh century
    by Key, Alexander
    Published 2018
    Subjects: “…Logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  9. 289
    Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
    Published 2021
    Subjects: “…Computer architecture & logic design bicssc…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  10. 290
    Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
    Published 2020
    Subjects: “…Computer architecture & logic design bicssc…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  11. 291
    The Amazing Journey of Reason : from DNA to Artificial Intelligence
    by Alemi, Mario
    Published 2020
    Subjects: “…Mathematical logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  12. 292
    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 of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I
    Published 2021
    Subjects: “…Logic in AI…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  13. 293
    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 Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
    Published 2019
    Subjects: “…Mathematical logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  14. 294
    Urban Operating Systems : Producing the Computational City
    by Luque-Ayala, Andrés
    Published 2020
    Subjects: “…logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  15. 295
    Nucleic Acid Architectures for Therapeutics, Diagnostics, Devices and Materials
    by Afonin, Kirill
    Published 2019
    Subjects: “…RNA logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  16. 296
    Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
    Published 2021
    Subjects: “…formal logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  17. 297
    Stem Cell and Biologic Scaffold Engineering
    by Mallis, Panagiotis
    Published 2019
    Subjects: “…seven-folder logics…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  18. 298
    Recent Developments on Mobile Ad-Hoc Networks and Vehicular Ad-Hoc Networks
    Published 2021
    Subjects: “…fuzzy logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  19. 299
    Emerging Memory and Computing Devices in the Era of Intelligent Machines
    by Khalili, Pedram
    Published 2020
    Subjects: “…logic-in-memory…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  20. 300
    Quantum Probability and Randomness
    by Khrennikov, Andrei
    Published 2019
    Subjects: “…quantum logics…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search – Save Search