Lectures on proof verification and approximation algorithms

Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger (eds.)
Bok Engelsk 1998


Utgitt	Berlin : Springer , c1998
Omfang	XII, 344 s. : ill.
Opplysninger	Bidrag fra et seminar holdt 21.-25. april 1997, Schloss Dagstuhl
Emner	Approximation theory Automatic theorem proving Computer algorithms Algoritmer - Databehandling Tilnærmelse (Matematikk)
ISBN	3540642013

Biblioteksøk