Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Biomathematics. Biometry. Biostatistics --- 57 --- 51 --- Biomathematics --- Biology --- Mathematics --- Biologische wetenschappen in het algemeen. Biologie --- Biomathematics. --- Basic Sciences. Mathematics --- Mathematics (General) --- Mathematics. --- Mathematics (General). --- 51 Mathematics --- Biomathematique --- Biologie --- Methodes mathematiques

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer science --- #TCPW P3.0 --- 519.6 --- 681.3*D11 --- 681.3*F41 --- 681.3*I23 --- Computational mathematics. Numerical analysis. Computer programming --- Applicative (functional) programming --- 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} --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 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} --- 681.3*D11 Applicative (functional) programming --- 519.6 Computational mathematics. Numerical analysis. Computer programming --- Software engineering. --- Mathematics. --- Software Engineering/Programming and Operating Systems. --- Mathematics, general. --- Math --- Science --- Computer software engineering --- Engineering --- Langages de programmation