Languages
Moss, Lawrence S.
Overview
| Works: | 2 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Logic, Language, Information, and Computation = 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings /
by:
de Paiva, Valeria.; Leivant, Daniel.; SpringerLink (Online service); Moss, Lawrence S.; de Oliveira, Anjolina G.; de Queiroz, Ruy.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic, Language, Information, and Computation = 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings /
by:
Martinez, Maricarmen.; SpringerLink (Online service); de Queiroz, Ruy.; Moss, Lawrence S.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic, language, information, and computation = 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Moss, Lawrence S.; Queiroz, Ruy de.; Martinez, Maricarmen.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering.
Mathematical logic.
Computer science—Mathematics.
Algorithm Analysis and Problem Complexity.
Artificial intelligence.
Numerical analysis.
Symbolic and Algebraic Manipulation.
Software engineering.
Logic, Symbolic and mathematical
Computer Science.
Programming Techniques.
Computer programming.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Language and logic
Mathematical Logic and Formal Languages.
Numeric Computing.
Algorithms.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.