1 Электронные книги Ernest G. Manes
Michael A. Arbib & Ernest G. Manes: Algebraic Approaches to Program Semantics
In the 1930s, mathematical logicians studied the notion of "effective comput- ability" using such notions as recursive functions, A-calculus, and Turing machines. The 1940s saw the …
PDF
английский
DRM
€95.01
