Computer Programming and Formal Systems

Dettagli Bibliografici
Autore principale: Braffort P. and Hirschberg D.
Natura: Printed Book
Lingua:English
Pubblicazione: London: North-Holland Publishing Company, 1970.
Edizione:1970.
Soggetti:
Statistics, A Basic for a Mathematical Theory of Computation, A Simplified Proof Method for Elementary Logic.

Documenti analoghi