Εμφανίζονται 81 - 100 Αποτελέσματα από 2.051 για την αναζήτηση 'interpretability logic', χρόνος αναζήτησης: 0,11δλ Περιορισμός αποτελεσμάτων
  1. 81
    Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers /
    Έκδοση 2010
    Πίνακας περιεχομένων: “…Invited Talks -- Rewriting, Inference, and Proof -- Twenty Years of Rewriting Logic -- Termination…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 82
    Program Development in Computational Logic A Decade of Research Advances in Logic-Based Program Development /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… in Computational Logic -- Synthesis of Programs in Computational Logic -- Developing Logic Programs from…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 83
    Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
    ανά Escobar, Santiago
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  4. 84
    Functional and Logic Programming 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “…Semantics and Types in Functional Logic Programming -- Polytypic Programming With Ease -- Type…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 85
    Logics in Artificial Intelligence European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “…Invited Talks -- 'On Being Informed': Update Logics for Knowledge States -- Considerations…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 86
    Functional and Logic Programming 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… for Proof-Carrying Code -- Parameterized Logic Programs where Computing Meets Learning -- Functional…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 87
    Functional and Logic Programming 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “…) -- To the Gates of HAL: A HAL Tutorial -- Tutorial Paper -- Functional Logic Design Patterns -- Constraints…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 88
    Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers /
    Έκδοση 2015
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 89
    Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Requirements and Code: an Example -- Program Scheme Technique to Solve Propositional Program Logics Revised…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 90
    Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Paradigm -- Safety and liveness -- Deciding Monadic Second Order Logic over omega-words by Specialized…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 91
    Fundamental Approaches to Software Engineering 19th International Conference, FASE 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
    Πίνακας περιεχομένων: “… distributed components -- Model-Driven Development -- Iterative and incremental model generation by logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 92
    Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings /
    Έκδοση 2016
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 93
    Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “…Semantics, logics, and foundational theory -- Design of languages type systems, and foundational…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 94
    Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers /
    Έκδοση 2016
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 95
    Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings /
    Έκδοση 2015
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 96
    Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
    Έκδοση 2015
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 97
    Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings /
    Έκδοση 2015
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 98
    Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… -- Automatic Verification for Later-Correspondence of Security Protocols -- Combining Separation Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 99
    Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… in Practice -- Theory of Test Modeling Based on Regular Expressions -- Integrating Separation Logic with PPTL…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 100
    Model Checking Software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings /
    Έκδοση 2011
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email