Computer Programming and Formal Systems

Opis bibliograficzny
1. autor: Braffort P. and Hirschberg D.
Format: Printed Book
Język:English
Wydane: London: North-Holland Publishing Company, 1970.
Wydanie:1970.
Hasła przedmiotowe:
Statistics, A Basic for a Mathematical Theory of Computation, A Simplified Proof Method for Elementary Logic.

Podobne zapisy