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.

相似書籍