Efficient checking of polynomials and proofs and the hardness of approximation problems | Sudan, Madhu. Directeur van de publicatie
0/5

0 recensie
Titel
Efficient checking of polynomials and proofs and the hardness of approximation problems
Auteur(s)
Sudan, Madhu. Directeur van de publicatie
ISBN
3-540-60615-7
Bibliografisch adres
Berlin ; Heidelberg ; New York : Springer Verlag, 1996
Taal
Engels
Land
Various places
Type inhoud
tekst
Type drager
volume
Behoort tot
Lecture notes in computer science / Goos, Gerhard ; 1001
Onderwerp(en)
NP-complete problems
Ingewikkeldheid van berekeningen
Theorema's--Automatische bewijsvoering
ISBD
Bekijk de ISBD weergave
Efficient checking of polynomials and proofs and the hardness of approximation problems. - Berlin ; Heidelberg ; New York : Springer Verlag, 1996. - ISBN 3-540-60615-7.


Fout of probleem melden?
Permalink
Beschikbare exemplaren worden gecheckt...

Een document aanvragen

Beschikbare exemplaren worden gecheckt...
Opladen van de verrijkingen...