Logic and computation Interactive Proof with Cambridge LCF

• Main Author: Paulson, Lawrence C. (Author)
• Format: Book
• Language: Greek
• Published: Cambridge Cambridge University Press 1987
• Subjects: ΕΣΑ; DATA PROCESSING