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.

類似資料