Beweistheorie
Resource Information
The concept Beweistheorie represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.
The Resource
Beweistheorie
Resource Information
The concept Beweistheorie represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.
- Label
- Beweistheorie
- Source
- swd
17 Items that share the Concept Beweistheorie
Context
Context of BeweistheorieSubject of
No resources found
No enriched resources found
- Algebra of proofs
- Automated theorem proving : a logical basis
- Basic proof theory
- Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings
- Intuitionism and proof theory. : Proceedings of the summer conference at Buffalo, N.Y., 1968.
- Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
- Logic year 1979-80, the University of Connecticut, USA
- Logic-based program synthesis and transformation : 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, revised selected papers
- Proof theory : an introduction
- Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings
- Proofs and types
- The logic of provability
- The unprovability of consistency : an essay in modal logic
- Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : 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 '98, Kloster Irsee, Germany, March 27-31, 1998 : 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/AZm5xoAMyi8/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/AZm5xoAMyi8/">Beweistheorie</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 Beweistheorie
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/AZm5xoAMyi8/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/AZm5xoAMyi8/">Beweistheorie</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>
