Εμφανίζονται 1 - 20 Αποτελέσματα από 89 για την αναζήτηση '"formal proof"', χρόνος αναζήτησης: 0,55δλ Περιορισμός αποτελεσμάτων
  1. 1
    Elementary theorem-proving applications of the OTTER automated deduction system in structural mechanics
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Formal proofs…”
    Λήψη πλήρους κειμένου
    Technical Report
  2. 2
    Applied Logic for Computer Scientists Computational Deduction and Formal Proofs /
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Elementary engineering mechanics applications of the OTTER automated reasoning system
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Formal proofs…”
    Λήψη πλήρους κειμένου
    Technical Report
  4. 4
    Propositional and Predicate Calculus A Model of Argument
    ανά Goldrei, Derek
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… of Mathematics -- A Formalization of Convex Polyhedra Based on the Simplex Method -- A Formal Proof…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    The Kepler Conjecture The Hales-Ferguson Proof /
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “…: A Library for Exact Numeric Computation in Geometry and Algebra -- Formal Proof (Invited…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Generator for Higher-Order Logic Based on a Relational Model Finder -- Formal Proof of a Wave Equation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… -- Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls -- Realizations…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
    Έκδοση 2008
    Πίνακας περιεχομένων: “…Why Proof? What is a Proof? -- On Formal Proofs -- Toy Models in Physics and the Reasonable…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Tests from Formal Proofs -- Using Model Checking to Generate Fault Detecting Tests -- White-Box Testing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Formal System Verification State-of the-Art and Future Trends /
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    Model Engineering in Mixed-Signal Circuit Design A Guide to Generating Accurate Behavioral Models in VHDL-AMS /
    ανά Huss, Sorin A.
    Έκδοση 2001
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Formal Proof of the Irrationality of ζ(3) -- From Operational Models to Information Theory; Side Channels…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Whole-Body Impedance Control of Wheeled Humanoid Robots
    ανά Dietrich, Alexander
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    Provable Security First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “…? -- Formal Proof of Provable Security by Game-Playing in a Proof Assistant -- Authentication and Symmetric…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    Mathematical Economics Prelude to the Neoclassical Model /
    ανά Yu, Kam, Yu, Kam
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 18
    Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… Disambiguation Errors -- A Formal Proof of Square Root and Division Elimination in Embedded Programs -- Coherent…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    Logical Aspects of Computational Linguistics First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… language explanation for formal proofs -- Models for polymorphic Lambek Calculus -- Sloopy Identity -- A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 20
    Types for Proofs and Programs International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… with Inductive Types -- A Concurrent Logical Framework: The Propositional Fragment -- Formal Proof Sketches…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email