TY - BOOK ID - 1072337 TI - Computability theory, semantics, and logic programming PY - 1987 VL - 13 SN - 0195036913 9780195036916 PB - New York (N.Y.): Oxford university press, DB - UniCat KW - Programming KW - Computer science KW - Mathematical logic KW - Computable functions KW - Data structures (Computer science) KW - 681.3*F11 KW - 681.3*F41 KW - 681.3*I23 KW - Information structures (Computer science) KW - Structures, Data (Computer science) KW - Structures, Information (Computer science) KW - Electronic data processing KW - File organization (Computer science) KW - Abstract data types (Computer science) KW - Computability theory KW - Functions, Computable KW - Partial recursive functions KW - Recursive functions, Partial KW - Constructive mathematics KW - Decidability (Mathematical logic) KW - Models of computation: automata; bounded action devices; computability theory; relations among models; self-modifying machines; unbounded-action devices--See also {681.3*F41} 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 - Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) KW - 681.3*I23 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 - 681.3*F11 Models of computation: automata; bounded action devices; computability theory; relations among models; self-modifying machines; unbounded-action devices--See also {681.3*F41} KW - Informatique KW - Computer science. KW - Sémantique KW - Logique mathématique KW - Informatique theorique KW - Programmation logique UR - https://www.unicat.be/uniCat?func=search&query=sysid:1072337 AB - ER -