Εμφανίζονται 41 - 60 Αποτελέσματα από 63 για την αναζήτηση 'interactive theorem proving software', χρόνος αναζήτησης: 0,13δλ Περιορισμός αποτελεσμάτων
  1. 41
    Diagrammatic Representation and Inference Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Approach to Theorem Proving With Spider Diagrams -- Automated Model Transformation and Its Validation Using…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 42
    Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /
    Έκδοση 2015
    Πίνακας περιεχομένων: “…Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 43
    Recent Trends in Algebraic Development Techniques 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Specification of Operator-Based Multimedia Scenarios -- Higher-Order Logic and Theorem Proving for Structured…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 44
    User Modeling 2003 9th International Conference, UM 2003, Johnstown, PA, USA, June 22-26, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Theorem Proving -- Mobile and Ubiquitous Computing -- User Modelling in the Car -- User Modelling…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 45
    Logic for Programming, Artificial Intelligence, and Reasoning 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… -- Directed Automated Theorem Proving -- A Framework for Splitting BDI Agents -- On the Complexity…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 46
    FM'99 - Formal Methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II /
    Έκδοση 1999
    Πίνακας περιεχομένων: “…-time systems through affine calculus on clock synchronisation constraints -- Combining theorem proving…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 47
    SOFSEM '98: Theory and Practice of Informatics 25th Conference on Current Trends in Theory and Practice of Informatics, Jasna, Slovakia, November 21-27, 1998 Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… Czech Text -- Automated Theorem Proving in a Combination of Theories with Disjoint Signatures.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 48
    Abstraction, Reformulation, and Approximation 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… of Unary Databases -- A CSP Abstraction Framework -- Interactions of Abstractions in Programming…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 49
    Automated Reasoning First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Programs -- P.rex: An Interactive Proof Explainer -- JProver: Integrating Connection-Based Theorem Proving…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 50
    Tools and Algorithms for the Construction of Analysis of Systems 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “…, Theorem Proving and Abstraction -- Symbolic Analysis -- Symbolic Model Checking without BDDs -- Symbolic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 51
    Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings /
    Έκδοση 2019
    Θέματα: “…Software engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 52
    Theory and Applications of Satisfiability Testing - SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… and Interactive Theorem Proving -- Circular (Yet Sound) Proofs -- Short Proofs in QBF Expansion -- Proof…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 53
    Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings /
    Έκδοση 2018
    Πίνακας περιεχομένων: “…Formal Methods -- Verification -- Program Synthesis -- Model Checking -- Theorem Proving…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 54
    Automata, Languages and Programming 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… class of tree automata. Application to inductive theorem proving -- Locally periodic infinite words…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 55
    Diagrammatic Representation and Inference Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18-20, 2002 Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Animation in Diagrammatic Theorem Proving -- Generating Euler Diagrams -- Corresponding Regions in Euler…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 56
    Automated Deduction - CADE-14 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… prover Peers-mcd (system description) -- Integration of automated and interactive theorem proving in ILF…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 57
    Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… and interactive theorem proving -- Logical methods in protocol and program verification -- Logical methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 58
    Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… complexity -- Logic programming and constraints -- Automated deduction and interactive theorem proving…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 59
    Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… and interactive theorem proving -- Logical methods in protocol and program verification -- Logical methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 60
    Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “…-Trustable Interactive Theorem Proving Systems -- The Web Geometry Laboratory Project -- swMATH – A New…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email