Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
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
-
61Hội nghị đang tiến hành SáchĐược phát hành 1995Những chủ đề: “…Logic programming Congresses.…”
-
62Hội nghị đang tiến hành SáchĐược phát hành 1991Những chủ đề: “…Logic programming Congresses.…”
-
63Hội nghị đang tiến hành SáchĐược phát hành 1990Những chủ đề: “…Logic programming Congresses.…”
-
64SáchĐược phát hành 1995Những chủ đề: “…Logic programming Congresses.…”
-
65Hội nghị đang tiến hành SáchĐược phát hành 1989Những chủ đề: “…Logic programming Congresses.…”
-
66Hội nghị đang tiến hành SáchĐược phát hành 1994Những chủ đề: “…Logic programming Congresses.…”
-
67Hội nghị đang tiến hành SáchĐược phát hành 1988Những chủ đề: “…Logic programming Congresses.…”
-
68
-
69
-
70Hội nghị đang tiến hành SáchĐược phát hành 1992Những chủ đề: “…Logic programming Congresses.…”
-
71
-
72SáchĐược phát hành 1994Những chủ đề: “…Logic programming.…”
-
73Hội nghị đang tiến hành SáchĐược phát hành 1991Những chủ đề: “…Logic programming Congresses.…”
-
74SáchBằng Cieutat, Victor J., 1932-Những chủ đề: “…Logic Programmed instruction.…”
Được phát hành 1969