語系
Moss, Lawrence S.
概要
| 作品: | 2 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [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)
(書目-語言資料,印刷品)
主題
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.