Gems of theoretical computer science /

• Κύριος συγγραφέας: Schöning, Uwe, 1955- (συγγραφέας)
• Άλλοι συγγραφείς: Pruim, Randall J. (συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin : Springer, c1998.
• Θέματα: Αυτόματη απόδειξη θεωρημάτων
• Φυσική περιγραφή: x, 320 σ. ; 24 εκ.
• Βιβλιογραφία: Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
• ISBN: 3540644253