Вы здесь

Главная

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

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

Computational Collective Intelligence, Part I: Proc./11th International Conference, ICCCI 2019, Hendaye, France, September 2019
Computational Collective Intelligence: Proc./13th International Conference, ICCCI 2021, Rhodes, Greece, September 2021
Computational Collective Intelligence: Technologies and Applications: Proc./6th International Conference, ICCCI 2014, Seoul, Korea, September 2014
Computational Intelligence for Knowledge-Based Systems Design: Proc./13th IC on Information Processing and Management of Uncertainty, IPMU 2010, Dortmund Germany, June/July 2010
Computational Logic and Proof Theory: Proc./5th Kurt Godel Colloquium, KGC 97. Vienna, Austria, August 1997
Computational Logic and Proof Theory: Proc./Third Kurt Godel Colloquium, KGC 93. Brno, Czech Republic, August 1993
Computer Aided Verification, Part I: Proc./27th International Conference, CAV 2015, San Francisco,CA,USA, July 2015
Computer Aided Verification: Proc./26th International Conference, CAV 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Italy, July 2014
Computer Aided Verification: Proc./7th Intern. Conf., CAV 95. Liege, Belgium, July 1995
Computer Algebra in Scientific Compiting: Proc./16th International Workshop, CASC 2014, Warsaw, Poland, September 2014
Computer Science Logic: Proc./18th International Workshop, CSL 2004; 13th Annual Conference of the EACSL. Karpacz, Poland, September 2004
Computer Science Logic: Proc./21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL. Lausanne, Switzerland, September 2007
Computer Science - Theory and Applications: Proc./11th International Computer Science Symposium in Russia, CSR 2016, St.Petersburg, Russia, June 2016
Computer Science - Theory and Applications: Proc./First International Computer Science Symposium in Russia, CSR 2006. St.Petersburg, Russia, June 2006
Computing Cost Estimates for Proof Strategies
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever
Concurrent Logic Programming as Uniform Linear Proofs
Consistency and Orderability: Semantics-Based Correctness Criteria for Databases
Constructive Logics. Part II: Linear Logic and Proof Nets
Controlled Natural Language: Proc./4th International Workshop, CNL 2014, Galway, Ireland, August 2014
Controlled Natural Language: Proc./5th International Workshop, CNL 2016, Aberdeen, UK, July 2016
Cooperative Design, Visualization, and Engineering: Proc./18th International Conference, CDVE 2021, Virtual Event, October 2021
Correct Reasoning: Essays on Logic-Based AI in Honor of Vladimir Lifschitz
Cuurent Trends in Web Engineering: Revised Selected Papers/ICWE 2018 International Workshops MATWEP, EnWot, KD-WEB, WEOD, TourismKG, Cáceres, Spain. June 2018
Declarative Programming and Knowledge Management: Revised Selected Papers/ Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 2013
Design, Implementation and Application of an Extended Ground Reducibility Test
Detecting Atomic Sequences of Predicates in Distributed Computations
Developing Certified Programs in the System Coq - The Program Tactic
Easily Checked Self-Reducibility
Energy-Aware Communications: Proc./17th International Workshop, EUNICE 2011, Dresden, Germany, September 2011
Engineering Multi-Agent Systems: Revised Selected Papers/2nd International Workshop, EMAS 2014, Paris, France, May 2014
Enumerating Proofs of Positive Formulae
Equational Inference, Canonical Proofs, and Proof Orderings
EXPANDER: Manual and Implementation
Explaining Constraint Programming
Exploiting Small Clauses in Automatic Theorem Proving
Extending the HOL Theorem Prover with a Computer Algebra System to Reason About the Reals
Extensions to Logic Programming Motivated by the Construction of a Generic Theorem Prover
Extracting Higher Order Functions from First Order Proofs
Extracting Text from Proofs
Fast Termination of the Deductive Process in Resolution Proof Systems for Non-Classical Logics
First-Order Automation for Higher-Order-Logic Theorem Proving
Flexible Query Answering Systems: Proc./12th International Conference, FQAS 2017, London, UK, June 2017
Formalization of Varables Access Constraints to Support Compositionality of Liveness Properties
Formal Methods & Service Specification
Formal Methods and Software Engineering: Proc./13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 2011
Formal Methods and Software Engineering: Proc./16th International Conference on FEM, ICFEM 2014, Luxembourg, November 2014
Formal Methods in Artificial Intelligence
Formal Methods in Practice: A Comparison of Two Support Systems for Proof
Formal Proof from UML Models