Suggested Topics within your search.
Showing 221 - 240 results of 1,098 for search '"logic"', query time: 0.04s Refine Results
  1. 221
    Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
    Published 2019
    Subjects: “…Computer logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  2. 222
    Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    Published 2018
    Subjects: “…formal logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  3. 223
    Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III
    Published 2019
    Subjects: “…Computer logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  4. 224
    Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    by Ahmed, Amal
    Published 2018
    Subjects: “…formal logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  5. 225
    The Reasoning Brain: The Interplay between Cognitive Neuroscience and Theories of Reasoning
    by Vinod Goel
    Published 2017
    Subjects: “…logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  6. 226
    Voltage regulation of an asynchronous wind turbine using STATCOM and a control strategy based on a combination of single input fuzzy logic regulator and sliding mode controllers
    Get Fulltext
    EJournal Article
    Save to List
    Saved in:
  7. 227
    Mobile Robot Pendeteksi Gas Karbon Monoksida dan Metana Berbasis Internet of Things (IoT) Menggunakan Metode Finite State Machine (FSM) dan Fuzzy Logic
    by WINATA, Wira Adi
    Published 2022
    Get Fulltext
    Academic Paper
    Save to List
    Saved in:
  8. 228
    Identifikasi Risiko Pengadaan Langsung Jasa Konstruksi Menurut Perpres Nomor 54 Tahun 2010 Komparasi Perpres Nomor 16 Tahun 2018 Menggunakan Fuzzy Logic
    Get Fulltext
    Academic Paper
    Save to List
    Saved in:
  9. 229
    Identifikasi Risiko Pengadaan Langsung Jasa Konstruksi Menurut Perpres Nomor 54 Tahun 2010 Komparasi Perpres Nomor 16 Tahun 2018 Menggunakan Fuzzy Logic
    by HANIFAH, Dianatul
    Published 2019
    Get Fulltext
    Academic Paper
    Save to List
    Saved in:
  10. 230
    APLIKASI PROGRAMMABLE LOGIC CONTROLLER (PLC) OMRON CP1E NA20 DRA DALAM PROSES PENGATURAN SISTEM KERJA MESIN PEMBUAT PELET IKAN
    by Dewi, Tiar Kusuma, Sasmoko, Priyo
    Published 2015
    Get Fulltext
    EJournal Article
    Save to List
    Saved in:
  11. 231
    Educating Health Professionals in Genomic Medicine: Evidence-Based Strategies and Approaches
    Published 2020
    Subjects: “…program logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  12. 232
    APLIKASI ALAT UKUR TUBUH DIGITAL MENGGUNAKAN METODE FUZZY LOGIC UNTUK MENENTUKAN KONDISI IDEAL BADAN DENGAN TAMPILAN LCD DAN OUTPUT SUARA UNTUK TUNANETRA
    by Erlita, Norma
    Published 2016
    Get Fulltext
    Academic Paper
    Save to List
    Saved in:
  13. 233
    THERMAL OVERLOAD RELAY SEBAGAI PENGAMAN OVERLOAD PADA MINIATUR GARDU INDUK BERBASIS PROGRAMMABLE LOGIC CONTROLLER (PLC) CP1E-E40DR-A
    Get Fulltext
    EJournal Article
    Save to List
    Saved in:
  14. 234
    Reflektierte algorithmische Textanalyse. Interdisziplinäre(s) Arbeiten in der CRETA-Werkstatt
    Published 2020
    Subjects: “…Philosophy: logic bicssc…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  15. 235
    Programming Languages and Systems : 30th European Symposium on Programming, ESOP 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
    Published 2021
    Subjects: “…Logics and Meanings of Programs…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  16. 236
    Analisis Maximum Power Point Tracking (MPPT) Berbasis Fuzzy Logic Controller (FLC) Menggunakan Single Ended Primary Inductance Converter (SEPIC) untuk Panel Surya 100 Wp
    by PRATAMA, Arzoga Putra
    Published 2022
    Get Fulltext
    Academic Paper
    Save to List
    Saved in:
  17. 237
    The Principle of Unrest : Activist Philosophy in the Expanded Field
    by Massumi, Brian
    Published 2017
    Subjects: “…Logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  18. 238
    Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology
    by David A. Rosenblueth
    Published 2016
    Subjects: “…Logic programing…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  19. 239
    Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    by Alessandra Russo
    Published 2018
    Subjects: “…formal logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  20. 240
    The Constitution of Consciousness
    by Huemer, Wolfgang
    Published 2005
    Subjects: “…logical…”
    Get Fullteks
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search – Save Search