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.
Computer Science.
Programming Techniques.
Computer programming.
Mathematical Logic and Formal Languages.
Algorithms.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Logic, Symbolic and mathematical
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Language and logic
Numeric Computing.