#
théorie démonstration
Resource Information
The concept ** théorie démonstration** represents the subject, aboutness, idea or notion of resources found in **Boston University Libraries**.

The Resource
théorie démonstration
Resource Information

The concept

**théorie démonstration**represents the subject, aboutness, idea or notion of resources found in**Boston University Libraries**.- Label
- théorie démonstration

## Context

Context of théorie démonstration#### Subject of

No resources found

No enriched resources found

- A proof theory for general unification
- Advances in linear logic
- Arithmetic, proof theory, and computational complexity
- Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings
- Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics
- Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings
- Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, the Netherlands, May 5-8, 1998 : proceedings
- Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings
- Axiomatising the logic of computer programming
- Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings
- Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings
- Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
- Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
- Conditional term rewriting systems
- Current trends in concurrency : overviews and tutorials
- Extensions of logic programming : 4th international workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings
- Foundations of disjunctive logic programming
- Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings
- Handbook of logic and language
- Harvey Friedman's research on the foundations of mathematics
- Language in action : categories, lambdas, and dynamic logic
- Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979
- Logic, methodology, and philosophy of science, VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983
- Mathematical logic in computer science
- Nonclassical logics and information processing : international workshop, Berlin, November 9-10, 1990 : proceedings
- On the shape of mathematical arguments
- Representing plans under uncertainty : a logic of time, chance, and action
- Resolution proof systems : an algebraic theory
- The logic of information structures
- The resolution calculus
- Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings
- Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings
- Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings
- Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers
- Types for proofs and programs : International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers
- Types for proofs and programs : international workshop TYPES '93, Nijmegen, the Netherlands, May 24-28, 1993 : selected papers
- Types for proofs and programs : international workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers

## Embed

### Settings

Select options that apply then copy and paste the RDF/HTML data fragment to include in your application

Embed this data in a secure (HTTPS) page:

Layout options:

Include data citation:

<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/7gquqm0sThA/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/7gquqm0sThA/">théorie démonstration</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>

Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements

### Preview

## Cite Data - Experimental

### Data Citation of the Concept théorie démonstration

Copy and paste the following RDF/HTML data fragment to cite this resource

`<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/7gquqm0sThA/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/7gquqm0sThA/">théorie démonstration</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>`