Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Congresses
191
Computer programming
83
Programming languages (Electronic computers)
66
Logic programming
44
Computer programs
31
Computer software
22
Data processing
21
Formal languages
19
Parallel processing (Electronic computers)
19
Semantics
19
Object-oriented programming (Computer science)
18
Development
17
Machine theory
17
Parallel programming (Computer science)
17
Computational complexity
14
Artificial intelligence
13
Ada (Computer program language)
12
Computer architecture
10
Computer science
10
Data structures (Computer science)
10
Logic, Symbolic and mathematical
10
Database management
9
Electronic data processing
9
Mathematics
9
Automatic theorem proving
8
Compilers (Computer programs)
8
Mathematical optimization
8
Rewriting systems (Computer science)
8
Trees (Graph theory)
8
Algorithms
7
-
41ΒιβλίοΈκδοση 1991Θέματα: “…Logic programming Congresses.…”
-
42Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1992Πίνακας περιεχομένων: “…Theory and Practice in Logic Programming / Robert Kowalski -- Constraint Logic Programming / Thom…”
-
43Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1993Θέματα: “…Logic programming Congresses.…”
-
44ΒιβλίοΈκδοση 1992Θέματα: “…Logic programming Congresses.…”
-
45Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1991Θέματα: “…Logic programming (Computer science) Congresses.…”
-
46Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1994Πίνακας περιεχομένων: “… Moniz Pereira -- Birkhoff's HSP-Theorem for Cumulative Logic Programs / Beatrice Amrhein -- Finite…”
-
47Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1989Θέματα: “…Logic programming Congresses.…”
-
48
-
49ΒιβλίοΈκδοση 1993Πίνακας περιεχομένων: “… of datatypes / Roland Backhouse and Paul Hoogendijk -- From dynamic programming to greedy algorithms / Richard…”
-
50Πρακτικό ΣυνεδρίουΈκδοση 1973Θέματα: “…Computer programming Congresses Periodicals.…”
-
51ΒιβλίοΈκδοση 1994Πίνακας περιεχομένων: “… Theory / Martin Hofmann -- Programming with Streams in Coq - A Case Study: The Sieve of Eratosthenes…”
-
52Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1983Θέματα: “…Computer programming Congresses.…”
-
53ΒιβλίοΈκδοση 1996Θέματα: “…Functional programming (Computer science) Congresses.…”
-
54Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1986Θέματα: “…Logic programming Congresses.…”
-
55Πρακτικό Συνεδρίου Επιστημονικό περιοδικόΈκδοση 1989Θέματα: “…Computer programming Congresses.…”
-
56Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1996Θέματα: “…Logic programming Congresses.…”
-
57Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1994Θέματα: “…Logic programming Congresses.…”
-
58Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1995Θέματα: “…Computer programming Congresses.…”
-
59Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1993Θέματα: “…Computer programming Congresses.…”
-
60Πρακτικό Συνεδρίου ΒιβλίοΈκδοση 1994Θέματα: “…Object-oriented programming (Computer science) Congresses.…”