Search Results - "logic programming"
Suggested Topics within your search.
Suggested Topics within your search.
- Logic programming 68
- Congresses 13
- Logic design 11
- Artificial intelligence 7
- Prolog (Computer program language) 5
- Logic, Symbolic and mathematical 4
- Parallel programming (Computer science) 3
- Programmable controllers 3
- Programming languages (Electronic computers) 3
- Automatic theorem proving 2
- Computer programs 2
- Constraint programming (Computer science) 2
- Data processing 2
- Declarative programming 2
- Electronic digital computers 2
- Expert systems (Computer science) 2
- Functional programming (Computer science) 2
- Handbooks, manuals, etc 2
- Logic 2
- Logic programming languages 2
- Mathematics 2
- Object-oriented programming (Computer science) 2
- Periodicals 2
- Process control 2
- Programming 2
- Programming languages (Electronic computers 2
- Prolog (Computer program language 2
- Semantics 2
- Simulation methods 2
- Algebra 1
-
21
Termination proofs for logic programs
Published 1990Click Here to View Status and Holdings.
Unknown -
22
-
23
Parallel logic programming in PARLOG the language and its implementation
Published 1987Subjects: Click Here to View Status and Holdings.
Unknown -
24
Deductive databases and logic programming
Published 1992Subjects: Click Here to View Status and Holdings.
Unknown -
25
Meta-programming in logic Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings
Published 1992Subjects: “…Logic programming Congresses…”
Click Here to View Status and Holdings.
Unknown -
26
Logic based program synthesis and transformation selected papers July 24 - 28, 2000
Published 2001Subjects: “…Logic programming Congresses…”
Click Here to View Status and Holdings.
Unknown -
27
Advanced logic programming for language processing
Published 1994Subjects: “…Logic programming…”
Click Here to View Status and Holdings.
Unknown -
28
Prolog++ the power of object-oriented and logic programming
Published 1994Subjects: Click Here to View Status and Holdings.
Unknown -
29
Non-deterministic concurrent logic programming in Pandora
Published 1993Subjects: Click Here to View Status and Holdings.
Unknown -
30
-
31
-
32
Mathematical aspects of logic programming semantics
Published 2011Subjects: “…Logic programming Semantics…”
Click Here to View Status and Holdings.
Unknown -
33
From standard logic to logic programming introducing a logic based approach to artificial intelligence
Published 1988Subjects: “…Logic programming…”
Click Here to View Status and Holdings.
Unknown -
34
P-Prolog a parallel logic programming language
Published 1987Subjects: Click Here to View Status and Holdings.
Unknown -
35
Computing with logic logic programming with Prolog
Published 1988Subjects: Click Here to View Status and Holdings.
Unknown -
36
Computational logic logic programming and beyond
Published 2002Subjects: Click Here to View Status and Holdings.
Unknown -
37
A guide to programming logic and design introductory
Published 1999Subjects: “…Logic programming…”
Click Here to View Status and Holdings.
Unknown -
38
A guide to programming logic and design comprehensive
Published 1999Subjects: Click Here to View Status and Holdings.
Unknown -
39
Logic and declarative language
Published 1998Subjects: Click Here to View Status and Holdings.
Unknown -
40
Programming logic and design, comprehensive
Published 2002Subjects: Click Here to View Status and Holdings.
Unknown