Вы здесь

Главная

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

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

TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving
Termination Proofs by Multiset Path Orderings Imply Primitive Recursive Derivation Lengths
Term Rewriting and Applications: Proc./16th International Conference, RTA 2005. Nara, Japan, April 2005
Term Rewriting and Applications: Proc./17th International Conference, RTA 2006. Seattle, WA, USA, August 2006
Tests and Proofs: Revised Papers/First International Conference, TAP 2007. Zurich, Switzerland, February 2007
The Basic Logic of Proofs
The Boole Lecture: A Very Mathematical Dilemma
The HOL-Voss Systtem: Model-Checking inside a General-Purpose Theorem-Prover
The Logic of the Godel Proof Predicate
The Mathematics of Set Predicates in Prolog
Theorem Provers in Circuit Design: Proc./Second Intern. Conf., TPCD 94. Bad Herrenalb, Germany, September 1994
Theorem Provig in Higher Order Logics: Proc./22nd International Conference, TPHOLs 2009, Munich, Germany, August 2009
Theorem Proving for Functional Programmers. SPARKLE: A Functional Theorem Prover
Theorem Proving in Higher Order Logics: Proc./10th Intern. Conf., TPHOLs 97. Murray Hill, NJ, USA, August 1997
Theorem Proving in Higher Order Logics: Proc./11th Intern. Conf., TPHOLs 98. Canberra, Australia, September-October 1998
Theorem Proving in Higher Order Logics: Proc./14th International Conference,TPHOLs 2001 Edinburgh,Scotland,UK,September 2001
Theorem Proving in Higher Order Logics: Proc./15th Intern. Conf., TPHOLs 2002, Hampton, VA, USA, August 2002
Theorem Proving in Higher Order Logics: Proc./16th Intern. Conf., TPHOLs 2003, Rome, Italy, September 2003
Theorem Proving in Higher Order Logics: Proc./17th International Conference, TPHOLs 2004. Park City,Utah,USA,September 2004
Theorem Proving in Higher Order Logics: Proc./9th International Conference, TPHOLs 96. Turku, Finland, August 1996
Theorem Proving in Higher Order Objects: Proc./18th International Conference, TPHOLs 2005. Oxford, UK, August 2005
Theorem Proving Languages for Verification
Theorem Proving Using Equational Matings and Regid E-Unification
Theorem Proving with Analytic Tableaux and Related Methods: Proc./4th Intern. Workshop, TABLEAUX 95. Schloss Rheinfels, St.Goar, Germany, May 1995
Theorem Proving with Analytic Tableaux and Related Methods: Proc./5th Intern. Workshop, TABLEAUX 96. Terrasini, Palermo, Italy, May 1996
Theoretical Aspects of Computing - ICTAC 2014: Proc./11th International Colloquium, Bucharest, Romania, September 2014
Theoretical Aspects of Computing - ICTAC 2017: Proc./14th International Colloquium, Hanoi, Vietnam, October 2017
Theoretical Aspects of Computing - ICTAC 2018: Proc./15th International Colloquium, Stellenbosch, South Africa, October 2018
Theoretical Computer Science: Essays in Memory of Shimon Even
Theory and Applications of Models of Computation: Proc./14th Annual Conference, TAMC 2017, Bern, Switzerland, April, 2017
Theory and Applications of Satisfiability Testing: Proc./6th Intern. Conf., SAT 2003, Santa Margherita Ligure, Italy, May 2003
Theory and Applications of Satisfiability Testing - SAT 2006: Proc./9th International Conference. Seattle, WA, USA, August 2006
Theory and Applications of Satisfiability Testing - SAT 2010: Proc./13th International Conference, SAT 2010, Edinburg, UK, July 2010
Theory and Applications of Satisfiability Testing - SAT 2016: Proc./19th International Conference, Bordeaux, France, July 2016
Theory, Practice, and Applications of Rules on the Web: Proc./7th International Symposium, RuleML 2013, Seattle,WA,USA, July 2013
The Semantic Web: ESWC 2017 Satellite Events: Revised Selected Papers/ESWC 2017 Satellite Events, Portoroz, Slovenia, May 2017
The Semantic Web - ISWC 2012. Part I: Proc./11th International Semantic Web Conference, Boston,MA,USA, November 2012
The Semantic Web - ISWC 2014, Part I: Proc./13th International Semantic Web Conference, Riva del Garda, Italy, October 2014
The Semantic Web - ISWC 2015, Part I:Proc./14th International Semantic Web Conference, Bethlehem,PA,USA, October 2015
The Semantic Web: Latest Advances and New Domains: Proc./12th European Semantic Web Conference, ESWC 2015. Portoroz, Slovenia, May 2015
The Semantic Web: Latest Advances and New Domains: Proc./13th International Conference, ESWC 2016, Heraklion, Crete, Greece, May 2016
The Semantic Web, Part I: Proc./14th International Conference, ESWC 2017, Portoroz, Slovenia, May 2017
The Semantic Web: Research and Applications, Part I: Proc./7th Extended SW Conference, ESWC 2010, Heraclion, Greece, May/June 2010
The Semantic Web: Research and Applications: Proc./6th European Semantic Web Conference, ESWC 2009, Heraklion, Greece, May/June 2009
The Semantic Web: Trends and Challenges: Proc./11th International Conference, ESWC 2014, Anissaras, Crete, Greece, May 2014
The Seventeen Provers of the World
The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs
The Uniform Proof-theoretic Foundation of Linear Logic Programming
Time for Concurrency
TLA in Pictures