Fundamental proof methods in computer science a computer-based approach

Fundamental proof methods in computer science a computer-based approach

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Arkoudas, Konstantine (مؤلف), Musser, David R. (مؤلف)
التنسيق: كتاب
اللغة:English
منشور في: Cambridge, MA MIT Press [2017]
الموضوعات:
Computer science > Mathematics.
Proof theory.