Computer Programming and Formal Systems

Chi tiết về thư mục
Tác giả chính: Braffort P. and Hirschberg D.
Định dạng: Printed Book
Ngôn ngữ:English
Được phát hành: London: North-Holland Publishing Company, 1970.
Phiên bản:1970.
Những chủ đề:
Statistics, A Basic for a Mathematical Theory of Computation, A Simplified Proof Method for Elementary Logic.

Những quyển sách tương tự