Εμφανίζονται 121 - 140 Αποτελέσματα από 2.051 για την αναζήτηση 'interpretability logic', χρόνος αναζήτησης: 0,11δλ Περιορισμός αποτελεσμάτων
  1. 121
    Unconventional Programming Paradigms International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers /
    Έκδοση 2005
    Θέματα: “…Mathematical logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 122
    Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers /
    Έκδοση 2013
    Θέματα: “…Mathematical logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 123
    Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers /
    Έκδοση 2017
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 124
    Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… -- Actions with Failures in Interval Temporal Logic -- A Logic for Reasoning about Rational Agents -- Formal…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 125
    Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Structural Data Mining in Cognitive Pattern Interpretation -- Constructing Song Syntax by Automata Induction…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 126
    Semantics with Applications: An Appetizer
    ανά Nielson, Hanne Riis
    Έκδοση 2007
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  7. 127
    Abstract Computing Machines A Lambda Calculus Perspective
    ανά Kluge, William S.
    Έκδοση 2005
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  8. 128
    Knowledge in Formation A Computational Theory of Interpretation /
    Πίνακας περιεχομένων: “…Signs and Sign Interpretation -- From Signs to Interpretants -- A Semiotic Account…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 129
    Piton A Mechanically Verified Assembly-Level Language /
    ανά Moore, J Strother
    Έκδοση 1996
    Πίνακας περιεχομένων: “…and History -- The Nqthm Logic -- An Informal Sketch of Piton -- Big Number Addition -- A Sketch…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 130
    Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 131
    Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /
    Έκδοση 2015
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 132
    Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… (and Productivity) -- Unification in the Description Logic -- Unification with Singleton Tree Grammars…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 133
    Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… Only-Knowing -- Logics for Reasoning about Agents’ Attitudes in Strategic Contexts -- A Time-Situated…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 134
    Computer Science Logic 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “…Invited Papers -- Trakhtenbrot Theorem and Fuzzy Logic -- Descriptive Complexity, Lower Bounds…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 135
    Computer Science Logic 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… of Alfred Tarski's Ideas in Database Theory -- Locus Solum: From the Rules of Logic to the Logic of Rules…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 136
    Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… to Breast Cancer Data -- Logical Vision: One-Shot Meta-Interpretive Learning from Real Images…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 137
    Quantum Physics, Fuzzy Sets and Logic Steps Towards a Many-Valued Interpretation of Quantum Mechanics /
    ανά Pykacz, Jarosław
    Έκδοση 2015
    Πίνακας περιεχομένων: “… logic -- Perspectives -- The many-valued interpretation of quantum mechanics.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 138
    Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… communicating automata via split-width -- Automata, Logic, Games - Robust Equilibria in Mean-Payoff Games…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 139
    Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Control Construct for Abstract State Machines -- Encoding TLA+ into Many-Sorted First-Order Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 140
    Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings /
    Έκδοση 2016
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email