Mathematics, Computer Science and Logic  A Never Ending Story : The Bruno Buchberger Festschrift
Resource Information
The work Mathematics, Computer Science and Logic  A Never Ending Story : The Bruno Buchberger Festschrift represents a distinct intellectual or artistic creation found in University of Oklahoma Libraries. This resource is a combination of several types including: Work, Language Material, Books.
The Resource
Mathematics, Computer Science and Logic  A Never Ending Story : The Bruno Buchberger Festschrift
Resource Information
The work Mathematics, Computer Science and Logic  A Never Ending Story : The Bruno Buchberger Festschrift represents a distinct intellectual or artistic creation found in University of Oklahoma Libraries. This resource is a combination of several types including: Work, Language Material, Books.
 Label
 Mathematics, Computer Science and Logic  A Never Ending Story : The Bruno Buchberger Festschrift
 Title remainder
 The Bruno Buchberger Festschrift
 Statement of responsibility
 edited by Peter Paule
 Language

 eng
 eng
 Summary
 This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. While connected to the historical evolution of these concepts, the essays place strong emphasis on developments still to come. The book originated in a 2002 symposium celebrating the work of Bruno Buchberger, Professor of Computer Mathematics at Johannes Kepler University, Linz, Austria, on the occasion of his 60th birthday. Among many other accomplishments, Professor Buchberger in 1985 was the founding editor of the Journal of Symbolic Computation; the founder of the Research Institute for Symbolic Computation (RISC) and its chairman from 19872000; the founder in 1990 of the Softwarepark Hagenberg, Austria, and since then its director. More than a decade in the making, Mathematics, Computer Science and Logic  A Never Ending Story includes essays by leading authorities, on such topics as mathematical foundations from the perspective of computer verification; a symboliccomputational philosophy and methodology for mathematics; the role of logic and algebra in software engineering; and new directions in the foundations of mathematics. These inspiring essays invite general, mathematically interested readers to share stateoftheart ideas which advance the never ending story of mathematics, computer science and logic. Mathematics, Computer Science and Logic  A Never Ending Story is edited by Professor Peter Paule, Bruno Buchberger’s successor as director of the Research Institute for Symbolic Computation
 Dewey number

 004
 004.0151
 005.1
 510
 http://bibfra.me/vocab/relation/httpidlocgovvocabularyrelatorsedt
 dkXHE3jm3WY
 Language note
 English
 LC call number
 QA76.9.A43
 Literary form
 non fiction
 Nature of contents
 dictionaries
Context
Context of Mathematics, Computer Science and Logic  A Never Ending Story : The Bruno Buchberger FestschriftEmbed (Experimental)
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.libraries.ou.edu/resource/LRhCIX1MCUU/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/resource/LRhCIX1MCUU/">Mathematics, Computer Science and Logic  A Never Ending Story : The Bruno Buchberger Festschrift</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma 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 Mathematics, Computer Science and Logic  A Never Ending Story : The Bruno Buchberger Festschrift
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.libraries.ou.edu/resource/LRhCIX1MCUU/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/resource/LRhCIX1MCUU/">Mathematics, Computer Science and Logic  A Never Ending Story : The Bruno Buchberger Festschrift</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>