語系
Benzmuller, Christoph.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Rules and reasoning = second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Benzmuller, Christoph.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Artificial intelligence
Artificial Intelligence (incl. Robotics)
Computer Appl. in Administrative Data Processing.
Computer logic
Computer programming
Computer Science.
Logics and Meanings of Programs.
Logic, Symbolic and mathematical
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Software engineering