Computer Programming and Formal Systems

Detalles Bibliográficos
Autor Principal: Braffort P. and Hirschberg D.
Formato: Printed Book
Idioma:English
Publicado: London: North-Holland Publishing Company, 1970.
Edición:1970.
Subjects:
Statistics, A Basic for a Mathematical Theory of Computation, A Simplified Proof Method for Elementary Logic.

Títulos similares