Semantics and Logic of Computation

• Άλλοι συγγραφείς: Dybjer, Peter (Επιμελητής έκδοσης), Pitts, A. M. (Andrew M.) (Επιμελητής έκδοσης)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Cambridge University Press
• Σειρά: Publications of the Newton Institute 14
• Θέματα: Υπολογισμός; Υπολογιστική; ΕΣΑ
• Περιγραφή τεκμηρίου: includes bibliographical references Εργαστηριο Συνδυαστικων Αλγοριθμων
• Φυσική περιγραφή: xii, 361p.