Promel, Hans Jurgen.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Lectures on proof verification and approximation algorithms
by:
Mayr, Ernst W.; Promel, Hans Jurgen.; SpringerLink (Online service); Steger, Angelika.
(Electronic resources)