Вы здесь

Главная

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

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

Mining Intelligence and Knowledge Exploration: Proc./6th International Conference, MIKE 2018, Cluj-Napoca, Romania, December 2018
MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions
Model and Data Engineering: Proc./5th International Conference, MEDI 2015, Rhodes, Greece, September 2015
Model Checking for Infinite State Systems using Data Abstraction, Assumption-Commitment Style Reasoning and Theorem Proving
Model-Checking for pi-Calculus Using Proof Search
ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Models of Strategic Reasoning: Logics, Games, and Communities
Multi-disciplinary Trends in Artificial Intelligence: Proc./10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 2016
Multi-disciplinary Trends in Artificial Intelligence: Proc./8th International Workshop, MIWAI 2014, Bangalore, India, December 2014
Multi-disciplinary Trends in Artificial Intelligence: Proc./9th International Workshop, MIWAI 2015, Fuzhou, China, November 2015
Multi-prover Verification of C Programs
NASA Formal Methods: Proc./Third International Symposium, NFM 2011, Pasadens,CA,USA, April 2011
Natural Deduction Proof Theory for Logic Programming
New Frontiers in Artificial Intelligence: Revised Selected Papers/JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-Biz, JURISIN and SKL, Kanagawa, Japan, November 2016
Nonlinear Pattern Matching in Trees
On Helping and Interactive Proof Systems
On mechanizing proofs within a complete proof system for Unity
On Proof Nets for Multiplicative Linear Logic with Units
On the Complexity of the Reflected Logic of Proofs
On the Elimination of Redundant Derivations During Execution
On the Style of Mechanical Proving
On Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs
Operations on proofs thet can be specified by means of modal logic
OR-Parallelism in Theorem Proving: Speedups versus Timeout
OR-Parallel Theorem Proving with Random Competition
Parallel Computation of Multiple Sets-of-Support
Planning a Proof of the Intermediate Value Theorem
Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures
PRICAI 2014: Trends in Artifical Intelligence: Proc./13th Pacific Rim International Conference on AI, Gold Coast,QLD,Australia, December 2014
Probabilistic Polynomial-Time Semantics for a Protocol Security Logic
Program Extraction from Classical Proofs
Programming Languages and Systems: Proc./15th Asian Symposium, APLAS 2017, Suzhou, China, November 2017
Programming Languages and Systems: Proc./16th European Symposium on Programming, ESOP 2007, Part of ETAPS 2007. Braga, Portugal, March/April 2007
Programming Languages and Systems: Proc./20th European Symposium on Programming, ESOP 2011 Held as Part of the Joint European Conferences ETAPS 2011, Saabrucken, Germany, March 2011
Programming Languages and Systems: Proc./21st European Symposium on Programming, ESOP 2012 Held as Part of the European Joint Conferences ETAPS 2012, Tallinn, Estonia, March 2012
Programming Languages and Systems: Proc./23rd European Symposium on Programming, ESOP 2014 Held as Part of the ETASPS 2014, Grenoble, France, April 2014
Programming Languages and Systems: Proc./26th European Symposium on Programming, ESOP 2017 Held as Part of ETAPS 2017, Uppsala, Sweden, April 2017
Program Transformation and Proof Transformation
Program Transformation under the Principle of Proof as Program
Program Verification in a Transformational Environment
Progress in Artificial Intelligence, Part I: Proc./19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 2019
Proof General: A Generic Tool for Proof Development
Proof Methods of Declarative Properties of Definite Programs
Proof of Correctness of Programs Using Stepping Iteration
Proof-Theoretic Characterisations of Logic Programming
Proof theory for exeption handling in a tasking environment
Proof Theory in Computer Science: Proc./Intern. Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 2001
Propositional PSPACE Reasoning with Boolean Programs Versus Quantified Boolean Formulas
ProPre A Programming Language with Proofs
Provability logics with quantifiers on proofs