Lectures on proof verification and approximation algorithms /

Άλλοι συγγραφείς: Mayr, Ernst W., Prφmel, H. J., Steger, Angelika, Promel, Hans Jurgen
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Berlin ; New York : Springer , c1998 .
Σειρά:Lecture notes in computer science 1367
Lecture notes in computer science ; 1367
Θέματα: