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)