Εμφανίζονται 1 - 20 Αποτελέσματα από 368 για την αναζήτηση '"temporal logic"', χρόνος αναζήτησης: 0,09δλ Περιορισμός αποτελεσμάτων
  1. 1
    Temporal Logic From Ancient Ideas to Artificial Intelligence /
    ανά Øhrstrøm, Peter, Hasle, F. V. Per
    Έκδοση 1995
    Πίνακας περιεχομένων: “… -- ?ukasiewicz’s contribution to temporal logic -- A three-point structure of tenses -- A.N. Prior’s tense-logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Temporal logics and their applications
    Έκδοση 1987
    Βιβλίο
  3. 3
    Temporal Logic and State Systems
    ανά Kröger, Fred, Merz, Stephan
    Έκδοση 2008
    Πίνακας περιεχομένων: “…Basic Concepts and Notions of Logics -- Basic Propositional Linear Temporal Logic -- Extensions…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    The temporal logic of reactive and concurrent systems specification
    ανά Manna, Zohar, Pnueli, Amir
    Έκδοση 1992
    Βιβλίο
  5. 5
    Verifying concurrent processes using temporal logic
    ανά Hailpern, Brent T. 1955- ((Brent Tzion))
    Έκδοση 1982
    Βιβλίο
  6. 6
    An introduction to practical formal methods using temporal logic /
    ανά Fisher, Michael, 1962-
    Έκδοση 2011
    Πίνακας περιεχομένων: “…Front Matter -- Introduction -- Temporal Logic -- Specification -- Deduction -- Model Checking…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  7. 7
    Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
    Έκδοση 2007
    Θέματα: “…Modal and temporal logics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
    Έκδοση 2011
    Θέματα: “…Modal and temporal logics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  9. 9
    Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control
    Έκδοση 2020
    Θέματα: “…Modal and temporal logics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  10. 10
    Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
    Έκδοση 2018
    Θέματα: “…Modal and temporal logics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  11. 11
    Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control
    Έκδοση 2016
    Θέματα: “…Modal and temporal logics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  12. 12
    Object-Oriented Distributed Systems Design Based on Temporal Logic C.T.I. Technical Report TR 91.03.06
    Βιβλίο
  13. 13
    Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach /
    ανά Penczek, Wojciech, Pólrola, Agata
    Έκδοση 2006
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach
    ανά Penczek, Wojciech
    Έκδοση 2006
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  15. 15
    Logic for computer science and artificial intelligence /
    ανά Caferra, Ricardo, 1945-
    Έκδοση 2011
    Πίνακας περιεχομένων: “…Some elements of temporal logic…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  16. 16
    Formal Methods for Discrete-Time Dynamical Systems
    ανά Belta, Calin, Yordanov, Boyan, Aydin Gol, Ebru
    Έκδοση 2017
    Πίνακας περιεχομένων: “…Transition Systems -- Temporal Logics and Automata -- Model Checking -- Largest Finite Satisfying…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    Philosophical logic /
    ανά Burgess, John P., 1948-
    Έκδοση 2009
    Πίνακας περιεχομένων: “…Classical logic -- Temporal logic -- Modal logic -- Conditional logic -- Relevantistic logic…”
    Βιβλίο
  18. 18
    Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… Checking Propositional Deontic Temporal Logic via a mu-calculus Characterization.-An approach using the B…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics /
    ανά Mogavero, Fabio
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 20
    Mathematical Logic for Computer Science
    ανά Ben-Ari, Mordechai
    Έκδοση 2012
    Πίνακας περιεχομένων: “…-Order Logic: Logic Programming -- First-Order Logic: Undecidability and Model Theory -- Temporal Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email