Computer Programming and Formal Systems

Xehetasun bibliografikoak
Egile nagusia: Braffort P. and Hirschberg D.
Formatua: Printed Book
Hizkuntza:English
Argitaratua: London: North-Holland Publishing Company, 1970.
Edizioa:1970.
Gaiak:
Statistics, A Basic for a Mathematical Theory of Computation, A Simplified Proof Method for Elementary Logic.

Antzeko izenburuak