Вы здесь

Главная

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

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

A Parameterized Proof Manager
Applications of Evolutionary Computation: Proc./16th European Conference, EvoApplications 2013, Vienna, Austria, April 2013
A Practical Algorithm for Geometric Theorem Proving
A Proof Development System for the HOL Theorem Prover
A Proof Environment for Arithmetic with the Omega Rule
Argumentation in Multi-Agent Systems: Revised Selected and Invited Papers/4th International Workshop, ArgMAS 2007. Honolulu, HI, USA, May 2007
Argumentation in Multi-Agent Systems: Revised Selected Papers/8th International Workshop, ArgMAS 2011, Taipei, Taiwan, May 2011
Artificial General Intelligence: Proc./10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 2017
Artificial General Intelligence: Proc./7th International Conference, AGI 2014, Quebec City,QC,Canada, August 2014
Artificial General Intelligence: Proc./8th International Conference, AGI 2015, Berlin, Germany, July 2015
Artificial Intelligence and Computational Intelligence, Part III: Proc./3rd International Conference, AICI 2011, Taiyuan, China, September 2011
Artificial Intelligence and Soft Computing, Part I: Proc./16th International Conference, ICAISC 2017, Zakopane, Poland, June 2017
Artificial Intelligence and Symbolic Computation: Proc./12th International Conference, AISC 2014, Seville, Spain, December 2014
Artificial Intelligence in Medicine: Proc./16th Conference on AI in Medicine, AIME 2017, Vienna, Austria, June 2017
Artificial Intelligence: Methodologiy, Systems, and Applications: Proc./16th International Conference, AIMSA 2014, Varna, Bulgaria, September 2014
Artificial Intelligence: Methodology, Systems, and Applications: Proc./18th International Conference, AIMSA 2018, Varna, Bulgaria, September 2018
Artififcial Intelligence in Medicine: Proc./17th Conference on Artificial Intelligence in Medicine, AIME 2019, Poznan, Poland, June 2019
A Semantics for the Logic of Proofs
A theorem proving associative processor
A Tool to Support Formal Reasoning about Computer Languages
Automated Deduction - CADE-20: Proc./20th International Conference on Automated Deduction. Tallinn, Estonia, July 2005
Automated Deduction - CADE-21: Proc./21st International Conference on Automated Deduction. Bremen, Germany, July 2007
Automated Deduction - CADE-22: Proc./22nd International Conference, Montreal, Canada, August 2009
Automated Deduction - CADE-23: Proc./23rd International Conference on AD, Wroclaw, Poland, July/August 2011
Automated Deduction in Geometry: Revised Papers/5th International Workshop, ADG 2004. Gainesville, FL, USA, September 2004
Automated Deduction in Geometry: Revised Selected Papers/10th International Workshop, ADG 2014, Coimbra, Portugal, July 2014
Automated Reasoning: Proc./5th International Joint Conference, IJCAR 2010, Edinburg, UK, July 2010
Automated Reasoning: Proc./7th International Joint Conference, IJCAR 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 2014
Automated Reasoning: Proc./8th International Joint Conference, IJCAR 2016, Coimbra, Portugal. June 2016
Automated Reasoning: Proc./Third International Joint Conference, IJCAR 2006. Seattle, WA, USA, August 2006
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 2015
Automated Technology for Verification and Analysis: Proc./5th Intrn. Symposium, ATVA 2007. Tokyu, Japan, October 2007
Automatic Termination Proofs for Prolog Programs Operating on Nonground Terms
Automattic Generation of Simplification Lemmas for Inductive Proofs
Automatyczne dowodzenie twierdzen
Avoiding Duplicate Proofs
Axiomatising Real-Timed Processes
Bakery Algorithms
Basic Proof Skills of Computer Science Students
Belief Functions: Theory and Aplications: Proc./3rd International Conference, BELIEF 2014, Oxford, UK, September 2014
Bottom-up Enhancements of Deductive Systems
Building and Executing Proof Strategies in a Formal Metatheory
Case-Based Reasoning Research and Development: Proc./19th International Conference, ICCBR 2011, London, UK, September 2011
Classical Proofs as Programs
Coalgebraic Methods in Computer Science: Revised Selected Papers/14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, June 2018
Combining Theorem Proving and Symbolic Mathematical Computing
Compiling Joy Into Silicon: An Exercise in Applied Structural Operational Semantics
Completeness of the Pool Calculus with an Open Built-in Theory
Completing the temporal picture
Computational Collective Intelligence, Part I: Proc./10th International Conference, ICCCI 2018, Bristol, UK, September 2018