Arama Sonuçları - "temporal logic"

Önerilen Konular
  • Gösterilen 1 - 12 sonuçlar arası kayıtlar. 12
Sonuçları Daraltın
  1. 1
    Kapak Resmi

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

    Baskı/Yayın Bilgisi 2021
    Konular: “…temporal logic…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronik Kitap Bölümü

    Favorilerime ekle
    Kaydedildi:
  2. 2
    Kapak Resmi

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

    Baskı/Yayın Bilgisi 2021
    Konular: “…temporal logic…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronik Kitap Bölümü

    Favorilerime ekle
    Kaydedildi:
  3. 3
    Kapak Resmi

    Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Baskı/Yayın Bilgisi 2022
    Konular: “…modal, spatial, and temporal logics…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronik Kitap Bölümü

    Favorilerime ekle
    Kaydedildi:
  4. 4
    Kapak Resmi

    Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Baskı/Yayın Bilgisi 2022
    Konular: “…modal, spatial, and temporal logics…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronik Kitap Bölümü

    Favorilerime ekle
    Kaydedildi:
  5. 5
    Kapak Resmi

    Multi-Sensor Systems and Data Fusion in Remote Sensing

    Baskı/Yayın Bilgisi 2023
    Konular: “…temporal logic…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronik Kitap Bölümü

    Favorilerime ekle
    Kaydedildi:
  6. 6
    Kapak Resmi

    Landscapes of Care Immigration and Health in Rural America Yazar: Sangaramoorthy, Thurka

    Baskı/Yayın Bilgisi 2023
    Konular: “…temporal logics of health…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronik Kitap Bölümü

    Favorilerime ekle
    Kaydedildi:
  7. 7
    Kapak Resmi

    Landscapes of Care Immigration and Health in Rural America Yazar: Sangaramoorthy, Thurka

    Baskı/Yayın Bilgisi 2023
    Konular: “…temporal logics of health…”
    OAPEN Library: download the publication
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronik Kitap Bölümü

    Favorilerime ekle
    Kaydedildi:
  8. 8
    Kapak Resmi

    Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Baskı/Yayın Bilgisi 2021
    Konular: “…modal, spatial, and temporal logics…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronik Kitap Bölümü

    Favorilerime ekle
    Kaydedildi:
  9. 9
    Kapak Resmi

    Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Baskı/Yayın Bilgisi 2021
    Konular: “…modal, spatial, and temporal logics…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronik Kitap Bölümü

    Favorilerime ekle
    Kaydedildi:
  10. 10
    Kapak Resmi

    Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Baskı/Yayın Bilgisi 2020
    Konular: “…modal, spatial, and temporal logics…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronik Kitap Bölümü

    Favorilerime ekle
    Kaydedildi:
  11. 11
    Kapak Resmi

    Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Baskı/Yayın Bilgisi 2020
    Konular: “…modal, spatial, and temporal logics…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronik Kitap Bölümü

    Favorilerime ekle
    Kaydedildi:
  12. 12
    Kapak Resmi

    Deductive Systems in Traditional and Modern Logic

    Baskı/Yayın Bilgisi 2020
    Konular: “…temporal logic…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronik Kitap Bölümü

    Favorilerime ekle
    Kaydedildi:

Arama Araçları: