Εμφανίζονται 1 - 20 Αποτελέσματα από 2.051 για την αναζήτηση 'interpretability logic', χρόνος αναζήτησης: 0,09δλ Περιορισμός αποτελεσμάτων
  1. 1
    ανά Kracht, Marcus
    Έκδοση 2011
    Θέματα: “…Logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Έκδοση 2015
    Θέματα: “…Logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Έκδοση 2005
    Θέματα: “…Logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Έκδοση 2005
    Θέματα: “…Logic 64716…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  5. 5
    ανά Stanković, Radomir S., Astola, Jaakko T.
    Έκδοση 2003
    Πίνακας περιεχομένων: “… on Groups -- Spectral Interpretation of Decision Diagrams -- Advanced Topics in Decision Trees and Diagrams…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    ανά Cooper, Martin
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Projections -- Simplification of Combinatorial Problems -- Tractability of Drawing Interpretation -- 3D…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    ανά Rinaldi, Giacomo
    Έκδοση 1992
    Βιβλίο
  8. 8
    Έκδοση 2013
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    Έκδοση 2014
    Πίνακας περιεχομένων: “…Program verification -- Model checking -- Abstract interpretation and abstract domains -- Program…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Έκδοση 2011
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    Έκδοση 2012
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Έκδοση 2016
    Πίνακας περιεχομένων: “…Abstract Interpretation -- Abstraction -- Hybrid and Timed Systems -- Dynamic and Static…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    Έκδοση 2015
    Πίνακας περιεχομένων: “…Program verification -- Model checking -- Abstract interpretation -- Abstract domains -- Program…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    Έκδοση 2017
    Πίνακας περιεχομένων: “… Modal Logics -- Using Abstract Interpretation to Correct Synchronization Faults -- Property Directed…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Έκδοση 2012
    Πίνακας περιεχομένων: “…1 Analysis and Interpretation in the Philosophy of Modern Physics; Robert DiSalle -- Part I…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    Έκδοση 2007
    Πίνακας περιεχομένων: “… of Shape and Size Properties Via Separation Logic -- Invited Talk -- Towards Shape Analysis for Device…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    Έκδοση 2008
    Πίνακας περιεχομένων: “…Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions -- CTL as an Intermediate…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 18
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Interpretation of the Quasi-synchronous Composition of Synchronous Programs -- Termination of Polynomial Programs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 20
    Έκδοση 2004
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS Αποστολή αναζήτησης με email