Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
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 LiburuaArgitaratua 1984Gaiak: “...Logic programming Congresses....”
-
2Conference Proceeding LiburuaArgitaratua 1992Gaiak: “...Logic programming Congresses....”
-
3Conference Proceeding LiburuaArgitaratua 1993Gaiak: “...Logic programming Congresses....”
-
4Conference Proceeding LiburuaArgitaratua 1989Gaiak: “...Logic programming Congresses....”
-
5Conference Proceeding LiburuaArgitaratua 1994Gaiak: “...Logic programming Congresses....”
-
6LiburuaArgitaratua 1993Gaiak: “...Logic programming Congresses....”
-
7Conference Proceeding LiburuaArgitaratua 1996Gaiak: “...Logic programming Congresses....”
-
8Conference Proceeding LiburuaArgitaratua 1992Gaiak: “...Logic programming Congresses....”
-
9Conference Proceeding LiburuaArgitaratua 1996Gaiak: “...Logic programming Congresses....”
-
10Conference Proceeding LiburuaArgitaratua 1986Gaiak: “...Logic programming Congresses....”
-
11Conference Proceeding LiburuaArgitaratua 1987Gaiak: “...Logic programming Congresses....”
-
12Conference Proceeding LiburuaArgitaratua 1992Gaiak: “...Logic programming Congresses....”
-
13LiburuaArgitaratua 1991Gaiak: “...Logic programming Congresses....”
-
14Conference Proceeding LiburuaArgitaratua 1992Gaiak: “...Logic programming Congresses....”
-
15Conference Proceeding LiburuaArgitaratua 1993Gaiak: “...Logic programming Congresses....”
-
16LiburuaArgitaratua 1992Gaiak: “...Logic programming Congresses....”
-
17Conference Proceeding LiburuaArgitaratua 1994Gaiak: “...Logic programming Congresses....”
-
18Conference Proceeding LiburuaArgitaratua 1987Gaiak: “...Logic programming Congresses....”
-
19Conference Proceeding LiburuaArgitaratua 1988Gaiak: “...Logic programming Congresses....”
-
20Conference Proceeding LiburuaArgitaratua 1986Gaiak: “...Logic programming Congresses....”