Workshop on Logic, Language, Information and Computation (20th 2013 Darmstadt, Germany)

Subjects

Algebra, Artificial Intelligence (incl. Robotics), Artificial intelligence, Berechnungstheorie, Computer Science, general, Computer logic, Computer science, Congresses, Data processing, Formale Grammatik, Formale Methode, Formale Syntax, Künstliche Intelligenz, Language and logic, Logic, symbolic and mathematical, Logik, Mathematical Logic and Formal Languages, Natürliche Sprache, Programmierlogik, Programmiersprache, Symbolic and Algebraic Manipulation, Symbolic and mathematical Logic, Theoretische Informatik