000 00487nmm a2200145Ia 4500
008 230202s9999||||xx |||||||||||||||||und||
020 _a9783540697015
100 _aErnst W. Mayr, Hans Jürgen Prömel, Angelika Steger
245 0 _aLectures on Proof Verification and Approximation Algorithms
250 _a1998
260 _bSpringer Berlin Heidelberg
_c1998
440 _aLecture Notes in Computer Science
650 _aComputer Science
856 _uhttps://doi.org/10.1007/BFb0053010
999 _c26461
_d26461