Watt, Stephen M.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Symbolic computation in software science10th international symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024 : proceedings /
by:
(1998 :); Ida, Tetsuo.; SpringerLink (Online service); Watt, Stephen M.
(書目-電子資源)
Intelligent computer mathematicsInternational Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : proceedings /
by:
(1998 :); SpringerLink (Online service); Watt, Stephen M.
(書目-電子資源)
主題
Artificial intelligence
Mathematical Logic and Formal Languages.
Software Engineering.
Theory of Computation.
Artificial Intelligence (incl. Robotics)
Document Preparation and Text Processing.
Information Storage and Retrieval.
Formal methods (Computer science)
Computer science
Artificial Intelligence.
Computer Science.
Math Applications in Computer Science.
Symbolic and Algebraic Manipulation.