Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Logic programming
50
Congresses
45
Programming languages (Electronic computers)
7
Algebraic logic
5
Artificial intelligence
4
Automatic theorem proving
3
Logic, Symbolic and mathematical
2
Nonclassical mathematical logic
2
Semantics
2
Constraint programming (Computer science)
1
Data processing
1
Nonmonotonic reasoning
1
Parallel processing (Electronic computers)
1
Prolog (Computer program language)
1
Proof theory
1
-
1Conference Proceeding LivroPublicado em 1984Assuntos: “...Logic programming Congresses....”
-
2Conference Proceeding LivroPublicado em 1992Assuntos: “...Logic programming Congresses....”
-
3Conference Proceeding LivroPublicado em 1993Assuntos: “...Logic programming Congresses....”
-
4Conference Proceeding LivroPublicado em 1989Assuntos: “...Logic programming Congresses....”
-
5Conference Proceeding LivroPublicado em 1994Assuntos: “...Logic programming Congresses....”
-
6LivroPublicado em 1993Assuntos: “...Logic programming Congresses....”
-
7Conference Proceeding LivroPublicado em 1996Assuntos: “...Logic programming Congresses....”
-
8Conference Proceeding LivroPublicado em 1992Assuntos: “...Logic programming Congresses....”
-
9Conference Proceeding LivroPublicado em 1996Assuntos: “...Logic programming Congresses....”
-
10Conference Proceeding LivroPublicado em 1986Assuntos: “...Logic programming Congresses....”
-
11Conference Proceeding LivroPublicado em 1987Assuntos: “...Logic programming Congresses....”
-
12Conference Proceeding LivroPublicado em 1992Assuntos: “...Logic programming Congresses....”
-
13LivroPublicado em 1991Assuntos: “...Logic programming Congresses....”
-
14Conference Proceeding LivroPublicado em 1992Assuntos: “...Logic programming Congresses....”
-
15Conference Proceeding LivroPublicado em 1993Assuntos: “...Logic programming Congresses....”
-
16LivroPublicado em 1992Assuntos: “...Logic programming Congresses....”
-
17Conference Proceeding LivroPublicado em 1994Assuntos: “...Logic programming Congresses....”
-
18Conference Proceeding LivroPublicado em 1987Assuntos: “...Logic programming Congresses....”
-
19Conference Proceeding LivroPublicado em 1988Assuntos: “...Logic programming Congresses....”
-
20Conference Proceeding LivroPublicado em 1986Assuntos: “...Logic programming Congresses....”