Logic and computation Interactive Proof with Cambridge LCF

• Κύριος συγγραφέας: Paulson, Lawrence C. (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: Greek
• Έκδοση: Cambridge Cambridge University Press 1987
• Θέματα: ΕΣΑ; DATA PROCESSING
• Περιγραφή τεκμηρίου: Τομεας εφαρμογων και θεμελιωσεων της επιστημης των υπολογιστων.Εργαστηριο συνδυαστικων αλγοριθμων
• Φυσική περιγραφή: xviii,302p.
• ISBN: 0 521 39560 7