Computer Programming and Formal Systems

التفاصيل البيبلوغرافية
المؤلف الرئيسي: Braffort P. and Hirschberg D.
التنسيق: Printed Book
اللغة:English
منشور في: London: North-Holland Publishing Company, 1970.
الطبعة:1970.
الموضوعات:
Statistics, A Basic for a Mathematical Theory of Computation, A Simplified Proof Method for Elementary Logic.

مواد مشابهة