Gems of theoretical computer science /

• Main Author: Schöning, Uwe, 1955- (συγγραφέας)
• Other Authors: Pruim, Randall J. (συγγραφέας)
• Format: Book
• Language: English
• Published: Berlin : Springer, c1998.
• Subjects: Αυτόματη απόδειξη θεωρημάτων
• Physical Description: x, 320 σ. ; 24 εκ.
• Bibliography: Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
• ISBN: 3540644253