Computer Programming and Formal Systems

Bibliographic Details
Main Author: Braffort P. and Hirschberg D.
Format: Printed Book
Language:English
Published: London: North-Holland Publishing Company, 1970.
Edition:1970.
Subjects:
Statistics, A Basic for a Mathematical Theory of Computation, A Simplified Proof Method for Elementary Logic.

Similar Items