„theorem-proving“

Suchergebnisse

1.000+ Treffer

• Superposition: Types and Induction
  Wand, Daniel ; Weidenbach, Christoph 2017 Saarländische Universitäts- und Landesbibliothek
• Theorem Proving and Logic Programming with Constraints (Dagstuhl Seminar 9143)
  Comon, Hubert ; Ganzinger, Harald ; Kirchner, Claude ; Kirchner, Hélène ; Lassez, Jean-Louis ; Smolka, Gert 1992 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)
  Beyer, Dirk ; Huisman, Marieke ; Klebanov, Vladimir ; Monahan, Rosemary
• Theorems from compiler verification – a problem set for automated theorem provers
  Schellhorn, Gerhard ; Reif, Wolfgang 1998 Univ., Fak. für Informatik
• Proving properties of finite enumerations – a problem set for automated theorem provers
  Schellhorn, Gerhard ; Reif, Wolfgang 1997 Univ., Fak. für Informatik
• Pirotte, A., Automatic Theorem Proving Basedon Resolution (Automatic Programming), Volume 7, Part 4 (1973). IV. 201–266 S. Oxford/New York/Toronto/Sydney/Braunschweig 1973. Pergamon Press. Preis brosch. £ 2.00
  Metz, J.
• Formalisation of Additive Combinatorics in Isabelle/HOL (Invited Talk)
  Koutsoukou-Argyraki, Angeliki 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Concise Guide to Formal Methods – Theory, Fundamentals and Industry Applications
  O'Regan, Gerard 2017 Springer International Publishing
• Lagrange's Theorem for Binary Squares
  Madhusudan, P. ; Nowotka, Dirk ; Rajasekaran, Aayush ; Shallit, Jeffrey O. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Computer-Assisted Proof Verification for Higher-Order Automated Reasoning within the Dedukti Framework
  Taprogge, Melanie ; Steen, Alexander ; Blanqui, Frédéric ; Liebscher, Volkmar 2024 Universität Greifswald
• Verification of B+ trees: an experiment combining shape analysis and interactive theorem proving
  Ernst, Gidon ; Schellhorn, Gerhard ; Reif, Wolfgang ; Barthe, Gilles ; Pardo, Alberto ; Schneider, Gerardo 2011 Universität Augsburg
• Model generation theorem proving with interval constraints
  Hähnle, Reiner ; Hasegawa, Ryuzo ; Shirai, Yasuyuki 1995 Univ., Fak. für Informatik
• Higher order logic theorem proving and its applications
  1995 Springer
• Theorem proving with analytic tableaux and related methods – 4th international workshop ; tableaux '95, Schloss Rheinfels, St. Goar, Germany, May 7 - 10, 1995 ; proceedings
  Baumgartner, Peter 1995 Springer
• Mechanizing inductive theorem proving in conditional theories
  Fraus, Ulrich 1995 VDI-Verl.
• An Extensible Theorem Proving Frontend
  Ullrich, Sebastian Andreas ; Snelting, Gregor ; Blanchette, Jasmin 2023 KIT-Bibliothek
• Beyond Testing: The Art and Science of Formal Verification
  Shalini 2024 tredition
• Solving Higher-Order Equations – From Logic to Programming
  Prehofer, Christian 1998 Birkhäuser Boston
• A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
  Fleuriot, Jacques 2001 Springer London
• SAT-based Analysis, (Re-)Configuration & Optimization in the Context of Automotive Product documentation
  Walter, Rouven ; Küchlin, Wolfgang 2018 Universitätsbibliothek Tübingen