Languages
Benzmuller, Christoph.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
Subjects
Computer logic
Artificial intelligence
Artificial Intelligence (incl. Robotics)
Computer Science.
Programming Techniques.
Computer programming
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Logic, Symbolic and mathematical
Computer Appl. in Administrative Data Processing.
Software engineering