Lectures on proof verification and approximation algorithms
Resource Information
The work Lectures on proof verification and approximation algorithms represents a distinct intellectual or artistic creation found in Boston University Libraries. This resource is a combination of several types including: Work, Language Material, Books.
The Resource
Lectures on proof verification and approximation algorithms
Resource Information
The work Lectures on proof verification and approximation algorithms represents a distinct intellectual or artistic creation found in Boston University Libraries. This resource is a combination of several types including: Work, Language Material, Books.
- Label
- Lectures on proof verification and approximation algorithms
- Statement of responsibility
- Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger (eds.)
- Subject
-
- Algorithmes
- Algorithmes -- Congrès
- Algoritmos e estruturas de dados
- Approximation theory
- Approximation theory
- Approximation, Théorie de l'
- Approximation, Théorie de l' -- Congrès
- Approximationsalgorithmus
- Automatic theorem proving
- Automatic theorem proving
- Automatische bewijsvoering
- Complexité de calcul (informatique) -- Congrès
- Computabilidade e modelos de computacao
- Computer algorithms
- Computer algorithms
- Electronic resources (Books)
- Komplexitätsklasse NP
- Optimierungsproblem
- Probabilistisch verifizierbarer Beweis
- Théorèmes -- Démonstration automatique
- Théorèmes -- Démonstration automatique | Congrès
- algorithme approximation
- problème optimisation
- vérification algorithme
- Language
- eng
- Cataloging source
- DLC
- Illustrations
- illustrations
- Index
- index present
- LC call number
- QA76.9.A96
- LC item number
- L43 1998
- Literary form
- non fiction
- Nature of contents
-
- dictionaries
- bibliography
Context
Context of Lectures on proof verification and approximation algorithmsWork of
No resources found
No enriched resources found
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/Rk1c6MpWKMY/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/Rk1c6MpWKMY/">Lectures on proof verification and approximation algorithms</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 Work Lectures on proof verification and approximation algorithms
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/Rk1c6MpWKMY/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/Rk1c6MpWKMY/">Lectures on proof verification and approximation algorithms</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>
