Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
Resource Information
The work Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday represents a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Work, Language Material, Books, http://bibfra.me/vocab/marc/conferencepublication, http://bibfra.me/vocab/marc/festschrift.
The Resource
Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
Resource Information
The work Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday represents a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Work, Language Material, Books, http://bibfra.me/vocab/marc/conferencepublication, http://bibfra.me/vocab/marc/festschrift.
 Label
 Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
 Title remainder
 essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
 Statement of responsibility
 Dieter Hutter, Werner Stephan (eds.)
 Subject

 Aufsatzsammlung
 Automatic theorem proving
 Automatic theorem proving
 Automatisches Beweisverfahren
 Démonstration automatique de théorèmes
 Formale Methode
 Informatique
 Logic, Symbolic and mathematical
 Logic, Symbolic and mathematical
 Logique mathématique
 Logischer Schluss
 MATHEMATICS  Infinity
 MATHEMATICS  Logic
 Méthode formelle
 Raisonnement (Informatique)
 Reasoning  Automation
 Reasoning  Technique
 Softwareentwicklung
 Language
 eng
 Summary
 By presenting stateoftheart results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann. The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning
 Cataloging source
 GW5XE
 Dewey number
 511.3/6/028563
 Illustrations
 illustrations
 Index
 index present
 LC call number
 QA76.9.A96
 LC item number
 M43 2005
 Literary form
 non fiction
 Nature of contents

 dictionaries
 bibliography
 Series statement

 Lecture notes in computer science,
 Lecture notes in artificial intelligence
 Festschrift
 Series volume
 2605.
Context
Context of Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthdayWork of
No resources found
No enriched resources found
 Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday, Dieter Hutter, Werner Stephan (eds.)
 Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday, Dieter Hutter, Werner Stephan (eds.)
 Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday, Dieter Hutter, Werner Stephan (eds.)
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 faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/resource/zEOvTysmNNU/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/zEOvTysmNNU/">Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday</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 Work Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/resource/zEOvTysmNNU/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/zEOvTysmNNU/">Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday</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>