Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
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
-
1Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1984Θέματα: “…Logic programming Congresses.…”
-
2Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1992Θέματα: “…Logic programming Congresses.…”
-
3Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1993Θέματα: “…Logic programming Congresses.…”
-
4Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1989Θέματα: “…Logic programming Congresses.…”
-
5Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1994Θέματα: “…Logic programming Congresses.…”
-
6ΒιβλίοΈκδοση 1993Θέματα: “…Logic programming Congresses.…”
-
7Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1996Θέματα: “…Logic programming Congresses.…”
-
8Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1992Θέματα: “…Logic programming Congresses.…”
-
9Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1996Θέματα: “…Logic programming Congresses.…”
-
10Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1986Θέματα: “…Logic programming Congresses.…”
-
11Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1987Θέματα: “…Logic programming Congresses.…”
-
12Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1992Θέματα: “…Logic programming Congresses.…”
-
13ΒιβλίοΈκδοση 1991Θέματα: “…Logic programming Congresses.…”
-
14Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1992Θέματα: “…Logic programming Congresses.…”
-
15Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1993Θέματα: “…Logic programming Congresses.…”
-
16ΒιβλίοΈκδοση 1992Θέματα: “…Logic programming Congresses.…”
-
17Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1994Θέματα: “…Logic programming Congresses.…”
-
18Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1987Θέματα: “…Logic programming Congresses.…”
-
19Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1988Θέματα: “…Logic programming Congresses.…”
-
20Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1986Θέματα: “…Logic programming Congresses.…”