Suggested Topics within your search.
Suggested Topics within your search.
Logic programming
72
Congresses
52
Artificial intelligence
11
Programming languages (Electronic computers)
11
Prolog (Computer program language)
7
Logic, Symbolic and mathematical
6
Algebraic logic
5
Automatic theorem proving
4
Semantics
4
Computer algorithms
3
Expert systems (Computer science)
3
Parallel programming (Computer science)
3
Reasoning
3
Data processing
2
Data structures (Computer science)
2
Knowledge representation (Information theory)
2
Logic
2
Nonclassical mathematical logic
2
Nonmonotonic reasoning
2
Abstract data types (Computer science)
1
Adaptive control
1
Adaptive control systems
1
Biometry
1
COMMON LISP (Computer program language)
1
Code generators
1
Computational complexity
1
Computer programming
1
Computer science
1
Constraint programming (Computer science)
1
Database design
1
-
1Conference Proceeding BookPublished 1996Subjects: “…Logic programming Congresses.…”
-
2Conference Proceeding BookPublished 1992Subjects: “…Logic programming Congresses.…”
-
3Conference Proceeding BookPublished 1994Subjects: “…Logic programming Congresses.…”
-
4BookPublished 1993Subjects: “…Logic programming Congresses.…”
-
5Conference Proceeding BookPublished 1992Subjects: “…Logic programming Congresses.…”
-
6Conference Proceeding BookPublished 1987Subjects: “…Logic programming Congresses.…”
-
7BookPublished 1995Subjects: “…Logic programming Congresses.…”
-
8
-
9
-
10BookPublished 1994Subjects: “…Logic programming Congresses.…”
-
11Conference Proceeding BookPublished 1993Subjects: “…Logic programming Congresses.…”
-
12
-
13
-
14Conference Proceeding BookPublished 1996Subjects: “…Logic programming Congresses.…”
-
15
-
16Conference Proceeding BookPublished 1986Subjects: “…Logic programming Congresses.…”
-
17
-
18Conference Proceeding BookPublished 1996Subjects: “…Logic programming Congresses.…”
-
19BookPublished 1991Subjects: “…Logic programming Congresses.…”
-
20Conference Proceeding BookPublished 1992Table of Contents: “…Theory and Practice in Logic Programming / Robert Kowalski -- Constraint Logic Programming / Thom…”