TY - BOOK ID - 1230141 TI - Programs and machines : an introduction to the theory of computation PY - 1976 SN - 0471016500 PB - London : John Wiley, DB - UniCat KW - Computer science KW - Computer programming KW - #TCPW P3.0 KW - 681.3*F1 KW - 681.3*F2 KW - 681.3*F3 KW - 681.3*F41 KW - Computers KW - Electronic computer programming KW - Electronic data processing KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory KW - Computation by abstract devices KW - Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} KW - Logics and meanings of programs (Theory of computation) KW - Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} KW - Programming KW - Computer programming. KW - 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} KW - 681.3*F3 Logics and meanings of programs (Theory of computation) KW - 681.3*F2 Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} KW - 681.3*F1 Computation by abstract devices KW - Informatique UR - https://www.unicat.be/uniCat?func=search&query=sysid:1230141 AB - ER -