Вы здесь

Главная

доказательство

Связанные издания:

Proving and Rewriting
Proving correctness w.r.t. specifications with hidden parts
Proving Formulas through Reduction to Decidable Classes
Proving Possibility Properties
Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming
Proving properties of processes
Proving Properties of Programs Defined Over Recursive Data Structures
Proving Termination of Logic Programs with Delay Declarations
Reasoning about Probabilistic Parallel Programs
Reasoning Web: Declarative Artificial Intelligence: Tutorial Lectures/17th International Summer School 2021, Leuven, Belgium, September 2021
Reasoning Web. Reasoning on the Web in the Big Data Era: Proc./10th International Summer School 2014, Athens, Greece, September 2014
Reasoning Web: Semantic Interoperability on the Web: Tutorial Lectures/13th International Summer School 2017, London, UK, July 2017
Representing Higher-Order Logic Proofs in HOL
Retrprov. A System that Looks for Axioms
Reuse of Proofs in Software Verification
Rewriting, Computation, and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
Rewriting Techniques and Applications: Proc./20th International Conference, RTA 2009 Brasilia, Brazil, June/July 2009
Rough Sets and Knowledge Technology: Proc./9th International Conference, RSKT 2014, Shanghai, China, October 2014
Rough Sets: Proc./International Joint Conference, IJCRS 2019, Debrecen, Hungary June 2019
Rules and Reasoning: Proc./2nd International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 2018
Rules and Reasoning: Proc./5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 2021
Rules and Reasoning: Proc./International Joint Conference, RuleML+RR 2017, London, UK, July 2017
Rules on the Web: From Theory to Applications: Proc./8th International Symposium, RuleML 2014 Co-located with the 21st European Conference ECAI 2014, Prague, Czech Republic, August 2014
Scalable Uncertainty Management: Proc./11th International Conference, SUM 2017, Granada, Spain, October 2017
Scalable Uncertainty Management: Proc./14th International Conference, SUM 2020, Bozen-Bolzano, Italy, September 2020
Scalable Uncertainty Management: Proc./7th International Conference, SUM 2013, Washington,DC,USA, September 2013
Seduct - A Proof Compiler for First Order Logic
Semantic Technology: Revised Selected Papers/5th Joint International Conference, JIST 2015, Yichang, China, November 2015
Semantic Technology: Revised Selectes Papers/4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, November 2014
Semantic Typing for Parametric Algebraic Specifications
Semantic Web Rules: Proc./International Symposium, RuleML 2010, Washington,DC,USA, October 2010
Semi-Unification and Generalizations og a Particulary Simple Form
SLWV - A Theorem Prover for Logic Programming
Some Research Issues in Higher Order Logic Theorem Proving
Some Theorems We Should Prove
Spatial Cognition IX: Proc./International Conference, Spatial Cognition 2014, Bremen, Germany, September 2014
Spatial Cognition VIII: Proc./International Conference, Spatial Cognition 2012, Kloster Seeon, Germany, August/September 2012
Spatial Cognition VII: Proc./International Conference Spatial Cognition 2010, Mt.Hood/Portland,OR,USA, August 2010
Spatial Cognition XI: Proc./11th International Conference, Spatial Cognition 2018, Tübingen, Germany, September 2018
Spatial Information Theory: Proc./12th International Conference, COSIT 2015, Santa Fe,NM,USA, October 2015
Specifications of Inference Rules and Their Automatic Translation
Speech and Computer: Proc./16th International Conference, SPECOM 2014, Novi Sad, Serbia, October 2014
SPIKE, an Automatic Theorem Prover
Static Analysis: Proc./21st International Symposium, SAS 2014, Munich, Germany, September 2014
Strict Functionals for Termination Proofs
Sufficient Completeness and Parametrized Proofs by Induction
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: Proc./14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 2017
Symmetric Logic of Proofs
Synthesis and Transformation of logic Programs in the WHELK Proof Development System
Tableaux for the Logic of Proofs