Dagstuhl Seminar Proof Verification and Approximation Algorithms 1997
Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger (Eds.):
Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, April 21-25, 1997).
Lecture Notes in Computer Science 1367 Springer 1998, ISBN 3-540-64201-3 BibTeX
@proceedings{DBLP:conf/dagstuhl/1997proof,
editor = {Ernst W. Mayr and
Hans J{\"u}rgen Pr{\"o}mel and
Angelika Steger},
title = {Lectures on Proof Verification and Approximation Algorithms.
(the book grow out of a Dagstuhl Seminar, April 21-25, 1997)},
booktitle = {Lectures on Proof Verification and Approximation Algorithms},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1367},
year = {1998},
isbn = {3-540-64201-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © Sat May 16 23:04:50 2009
by Michael Ley (ley@uni-trier.de)