Théorie de la démonstration
Resource Information
The concept Théorie de la démonstration represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.
The Resource
Théorie de la démonstration
Resource Information
The concept Théorie de la démonstration represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.
- Label
- Théorie de la démonstration
- Source
- ram
19 Items that share the Concept Théorie de la démonstration
Context
Context of Théorie de la démonstrationSubject of
No resources found
No enriched resources found
- A proof theory for general unification
- Algebra of proofs
- Arithmetic, proof theory, and computational complexity
- Automated deduction in equational logic and cubic curves
- Basic proof theory
- Combinators, -terms and proof theory
- Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings
- Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
- Logic in algebraic form. : Three languages and theories
- Mathematical logic
- Metamathematics, machines, and Gödel's proof
- Modern cryptography, probabilistic proofs, and pseudorandomness
- Principles of automated theorem proving
- Proof theory : an introduction
- Resolution proof systems : an algebraic theory
- Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
- Term indexing
- The logic of information structures
- The resolution calculus
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/GrazE_6mkjc/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/GrazE_6mkjc/">Théorie de la 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 de la 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/GrazE_6mkjc/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/GrazE_6mkjc/">Théorie de la 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>
