Gao, Yuan.
概要
| 作品: | 2 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Developments in language theory14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010, proceedings /
by:
(1998 :); Gao, Yuan.; SpringerLink (Online service)
(書目-電子資源)
Vibration assisted machiningfundamentals, modelling and applications /
by:
Bai, Wei.; Gao, Yuan.; SpringerLink (Online service); Sun, Ronglei.
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Machining.
Formal languages
Vibration.
Machines, Tools, Processes.
Computer Science.
Discrete Mathematics in Computer Science.