Choose an application

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

Model theory --- Théorie des modèles --- Théorie des modèles

Choose an application

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

Set theory --- Descriptive set theory --- Forcing (Model theory) --- Borel sets

Choose an application

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

Mathematical logic --- Model theory --- Théorie des modèles --- Logic, Symbolic and mathematical --- Model theory. --- Théorie des modèles

Choose an application

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

Set theory --- Descriptive set theory --- Forcing (Model theory) --- Borel sets --- B-measurable sets --- B-sets --- Borel-measurable sets --- Borel subsets --- Borelian sets --- Subsets, Borel --- Analytic sets --- Topology --- Model theory --- Aggregates --- Classes (Mathematics) --- Ensembles (Mathematics) --- Mathematical sets --- Sets (Mathematics) --- Theory of sets --- Logic, Symbolic and mathematical --- Mathematics --- Borel sets.

Choose an application

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

"13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs. Topics covered : Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications."

Logic programming --- Processors: code generation; compilers; interpreters; optimization; parsing; preprocessors; run-time environments; translator writing systems and compilergenerators (Programming languages) --- 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*D34 Processors: code generation; compilers; interpreters; optimization; parsing; preprocessors; run-time environments; translator writing systems and compilergenerators (Programming languages) --- 681.3*D34 --- 681.3*F41 --- 681.3*I23 --- Programmation logique --- Congresses. --- Congrès --- Logic programming - Congresses --- COMPUTER SCIENCE/Programming Languages