Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Logic programming
72
Congresses
46
Artificial intelligence
8
Programming languages (Electronic computers)
8
Algebraic logic
5
Logic, Symbolic and mathematical
5
Automatic theorem proving
4
Prolog (Computer program language)
3
Nonclassical mathematical logic
2
Nonmonotonic reasoning
2
Semantics
2
Adaptive control
1
Adaptive control systems
1
Computer algorithms
1
Computer programming
1
Computer science
1
Constraint programming (Computer science)
1
Data processing
1
Database design
1
Expert systems (Computer science)
1
Fuzzy systems
1
Horn clauses
1
Logic
1
Logic programming (Computer science)
1
Lyapunov functions
1
Natural language processing (Computer science)
1
PARLOG (Computer program language)
1
Parallel processing (Electronic computers)
1
Parallel programming (Computer science)
1
Programmed instruction
1
-
1Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1996Θέματα: “…Logic programming Congresses.…”
-
2ΒιβλίοΈκδοση 1995Θέματα: “…Logic programming Congresses.…”
-
3
-
4Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1992Θέματα: “…Logic programming.…”
-
5
-
6
-
7
-
8
-
9
-
10Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1984Θέματα: “…Logic programming Congresses.…”
-
11Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1992Θέματα: “…Logic programming Congresses.…”
-
12Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1993Θέματα: “…Logic programming Congresses.…”
-
13Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1989Θέματα: “…Logic programming Congresses.…”
-
14Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1994Θέματα: “…Logic programming Congresses.…”
-
15ΒιβλίοΈκδοση 1993Θέματα: “…Logic programming Congresses.…”
-
16Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1996Θέματα: “…Logic programming Congresses.…”
-
17Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1992Θέματα: “…Logic programming Congresses.…”
-
18Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1996Θέματα: “…Logic programming Congresses.…”
-
19
-
20Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1986Θέματα: “…Logic programming Congresses.…”