Εμφανίζονται 21 - 40 Αποτελέσματα από 2.051 για την αναζήτηση 'interpretability logic', χρόνος αναζήτησης: 0,11δλ Περιορισμός αποτελεσμάτων
  1. 21
    Logic Programming with Prolog
    ανά Bramer, Max
    Έκδοση 2005
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  2. 22
    Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- Finding Concurrency-Related Bugs Using Random Isolation -- An Abstract Interpretation-Based Framework…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 23
    Logic Programming with Prolog
    ανά Bramer, Max
    Έκδοση 2005
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 24
    Logic Programming with Prolog
    ανά Bramer, Max
    Έκδοση 2013
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 25
    Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
    ανά Kohlenbach, Ulrich
    Έκδοση 2008
    Πίνακας περιεχομένων: “… -- Semi-intuitionistic systems and monotone functional interpretation -- Systems based on classical logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 26
    Model Generation for Natural Language Interpretation and Analysis
    ανά Konrad, Karsten
    Έκδοση 2004
    Πίνακας περιεχομένων: “…1 Motivation -- 1 Motivation -- I Logics -- 2 Model Generation -- 3 Higher-Order Model Generation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 27
    Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Interpretation-Based Protection -- Advances in Probabilistic Model Checking -- Building a Calculus of Data…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 28
    Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “…Invited Talks -- Experiences Using Logic Programming in Bioinformatics -- A Knowledge Base System…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 29
    Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings /
    Έκδοση 2018
    Πίνακας περιεχομένων: “…Program verification -- Model checking -- Abstract interpretation -- Program synthesis -- Static…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 30
    Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
    ανά Barthe, Gilles
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  11. 31
    Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “…Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 32
    Logic Programming 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “…Invited Talks -- Achieving Type Safety for Low-Level Code -- Logic Information Systems for Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 33
    Logic Programming 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… -- Poster Presentations -- Abstract Interpretation-Based Mobile Code Certification -- Labeled Logic Programs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 34
    Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… of Assessment Tests -- Semantics -- Compositional Semantics for the Procedural Interpretation of Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 35
    Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “…OWL: A Description Logic Based Ontology Language -- Preference Reasoning -- The G12 Project…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 36
    Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… -- Answer Set Programming for the Semantic Web -- Coinductive Logic Programming and Its Applications…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 37
    Proceedings of the 2nd Workshop on Text Meaning and Interpretation
    Έκδοση 2004
    Θέματα: “…Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 38
    Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “…Program verification -- Model checking -- Abstract interpretation -- Program synthesis -- Static…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 39
    Verification, Model Checking, and Abstract Interpretation 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… -- Automatic Verification by Abstract Interpretation -- Symmetry Reductions in Model-Checking -- Static…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 40
    Functional and Logic Programming 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… and Asynchronous Cellular Automata Using Abstraction by Temporal Logic -- Twelf and Delphin: Logic and Functional…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email