Computer Programming and Formal Systems

Bibliografische gegevens
Hoofdauteur: Braffort P. and Hirschberg D.
Formaat: Printed Book
Taal:English
Gepubliceerd in: London: North-Holland Publishing Company, 1970.
Editie:1970.
Onderwerpen:
Statistics, A Basic for a Mathematical Theory of Computation, A Simplified Proof Method for Elementary Logic.

Gelijkaardige items