Watt, Stephen M.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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.
(Electronic resources)
Intelligent computer mathematicsInternational Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : proceedings /
by:
(1998 :); SpringerLink (Online service); Watt, Stephen M.
(Electronic resources)
Subjects
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.