語系
Ågotnes, Thomas.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
STAIRS 2010 = proceedings of the fifth Starting Ai Researchers' Symposium /
by:
Ågotnes, Thomas.
(書目-語言資料,印刷品)
Logic and argumentation = 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025 : proceedings /
by:
International Conference on Logic and Argumentation (2025 :); Ågotnes, Thomas.; Doder, Dragan.; SpringerLink (Online service)
(書目-電子資源)
主題
Artificial intelligence
Uncertainty (Information theory)
Programming Techniques.
Computer Science Logic and Foundations of Programming.
Expert systems (Computer science)
Intelligent control systems
Artificial Intelligence.
Formal Languages and Automata Theory.
Logic, Symbolic and mathematical
Reasoning
Design and Analysis of Algorithms.
Compilers and Interpreters.