語系
Sturm, Thomas.
概要
作品: | 1 作品在 1 項出版品 1 種語言 |
---|
書目資訊
The force of an ideanew essays on Christian Wolff's psychology /
by:
Araujo, Saulo de Freitas.; Pereira, Thiago Constancio Ribeiro.; SpringerLink (Online service); Sturm, Thomas.; Wolff, Christian, (Freiherr von,) (1679-1754.)
(書目-電子資源)
Automated deduction in geometry7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008 : revised papers /
by:
(1998 :); SpringerLink (Online service); Sturm, Thomas.; Zengler, Christoph.
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Psychology and philosophy.
Philosophy, German
Automatic theorem proving
Artificial Intelligence (incl. Robotics)
Computer Graphics.
Geometry
Wolff, Christian,
Convex and Discrete Geometry.
History of Psychology.
History of Science.
Computer Science.
Discrete Mathematics in Computer Science.
Psychology
History of Philosophy.