dblp.uni-trier.de www.uni-trier.de

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
@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 © Fri Mar 12 17:09:09 2010 by Michael Ley (ley@uni-trier.de)