TY - BOOK ID - 76995289 TI - Nonclassical logics and information processing AU - Pearce, David AU - Wansing, Heinrich PY - 1992 SN - 3540557458 PB - Berlin Springer DB - UniCat KW - Artificial intelligence KW - Electronic data processing KW - Logic, Symbolic and mathematical KW - 681.3*F41 KW - 681.3*I23 KW - 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) KW - Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) 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 - Congresses KW - Mathematical logic KW - Artificial intelligence. Robotics. Simulation. Graphics UR - https://www.unicat.be/uniCat?func=search&query=sysid:76995289 AB - ER -