Introduction to the theory of computation

• Main Author: Sipser, Michael
• Format: Book
• Language: English
• Published: Boston P W S Publishers 1996
• Series: The PWS series in computer science
• Subjects: Αλγόριθμοι; Ηλεκτρονικοί υπολογιστές > Μαθηματικές αρχές; Λογική, Συμβολική και μαθηματική