Computer Programming and Formal Systems

Podrobná bibliografie
Hlavní autor: Braffort P. and Hirschberg D.
Médium: Printed Book
Jazyk:English
Vydáno: London: North-Holland Publishing Company, 1970.
Vydání:1970.
Témata:
Statistics, A Basic for a Mathematical Theory of Computation, A Simplified Proof Method for Elementary Logic.

Podobné jednotky