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: Αυτόματη απόδειξη θεωρημάτων