Computer Programming and Formal Systems

Bibliografski detalji
Glavni autor: Braffort P. and Hirschberg D.
Format: Printed Book
Jezik:English
Izdano: London: North-Holland Publishing Company, 1970.
Izdanje:1970.
Teme:
Statistics, A Basic for a Mathematical Theory of Computation, A Simplified Proof Method for Elementary Logic.

Similar Items