TY - BOOK ID - 27037478 TI - Recursive techniques in programming PY - 1968 SN - 0356022013 9780356022017 PB - London Mac Donald DB - UniCat KW - Computer programming KW - Recursive programming KW - 681.3*F3 KW - 681.3*F41 KW - 681.3*F3 Logics and meanings of programs (Theory of computation) KW - Logics and meanings of programs (Theory of computation) KW - Computers KW - Electronic computer programming KW - Electronic data processing KW - Electronic digital computers KW - Programming (Electronic computers) KW - 681.3*F41 Mathematical logic: computability theory computational logic lambda calculus logic programming mechanical theorem proving model theory proof theoryrecursive function theory--See also {681.3*F11} {681.3*I22} {681.3*I23} KW - Mathematical logic: computability theory computational logic lambda calculus logic programming mechanical theorem proving model theory proof theoryrecursive function theory--See also {681.3*F11} {681.3*I22} {681.3*I23} KW - Programming KW - Linear programming KW - Coding theory 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 - 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 - Computer science UR - https://www.unicat.be/uniCat?func=search&query=sysid:27037478 AB - ER -