Automatisches Beweisverfahren
Resource Information
The concept Automatisches Beweisverfahren represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
The Resource
Automatisches Beweisverfahren
Resource Information
The concept Automatisches Beweisverfahren represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
- Label
- Automatisches Beweisverfahren
- Source
- gnd
20 Items that share the Concept Automatisches Beweisverfahren
Context
Context of Automatisches BeweisverfahrenSubject of
No resources found
No enriched resources found
- Automated deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 ; proceedings
- Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers
- Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
- Automated deduction, CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings
- Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings
- Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings
- Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings
- Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings
- Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings
- Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings
- Logics in artificial intelligence : European Workshop, JELIA'98 Dagstuhl, Germany, October 12-15, 1998 : proceedings
- Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
- Model generation for natural language interpretation and analysis
- Termination proofs for logic programs
- The seventeen provers of the world
- Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings
- Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings
- Theorem proving in higher order logics : 9th international conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings
- Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
- Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings
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.library.missouri.edu/resource/kukhEoInmPY/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/kukhEoInmPY/">Automatisches Beweisverfahren</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri 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 Automatisches Beweisverfahren
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.library.missouri.edu/resource/kukhEoInmPY/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/kukhEoInmPY/">Automatisches Beweisverfahren</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
