Computer Programming and Formal Systems

Détails bibliographiques
Auteur principal: Braffort P. and Hirschberg D.
Format: Printed Book
Langue:English
Publié: London: North-Holland Publishing Company, 1970.
Édition:1970.
Sujets:
Statistics, A Basic for a Mathematical Theory of Computation, A Simplified Proof Method for Elementary Logic.

Documents similaires