Computer Programming and Formal Systems

Dades bibliogràfiques
Autor principal: Braffort P. and Hirschberg D.
Format: Printed Book
Idioma:English
Publicat: London: North-Holland Publishing Company, 1970.
Edició:1970.
Matèries:
Statistics, A Basic for a Mathematical Theory of Computation, A Simplified Proof Method for Elementary Logic.
Descripció
Descripció física:161p.

Ítems similars