TY - BOOK ID - 5055151 TI - Computational logic PY - 1990 SN - 0387534377 3540534377 364276276X 3642762743 9780387534374 PB - Berlin Springer DB - UniCat KW - Automatic theorem proving KW - Logic, Symbolic and mathematical KW - Théorèmes KW - Logique symbolique et mathématique KW - Congresses KW - Démonstration automatique KW - Congrès KW - 510.5 KW - -Logic, Symbolic and Mathematical KW - -#TELE:ELEN KW - #TELE:SISTA KW - 681.3 KW - 681.3*F41 KW - 681.3*I22 KW - 681.3*I23 KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Automated theorem proving KW - Theorem proving, Automated KW - Theorem proving, Automatic KW - Artificial intelligence KW - Proof theory KW - Algorithms. Computable functions KW - Computerwetenschap 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 - Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} KW - Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) KW - Logic, Symbolic and Mathematical KW - Congresses. KW - 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) KW - 681.3*I22 Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} 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 - 510.5 Algorithms. Computable functions KW - #TELE:ELEN KW - 681.3* / / / / / / / / / / / / / / / / / / / / / / / / / / / / KW - Automatic theorem proving - Congresses KW - Logic, Symbolic and mathematical - Congresses UR - https://www.unicat.be/uniCat?func=search&query=sysid:5055151 AB - ER -