Sturm, Thomas.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
The Force of an Idea = New Essays on Christian Wolff's Psychology /
by:
Pereira, Thiago Constâncio Ribeiro.; Araujo, Saulo de Freitas.; SpringerLink (Online service); Sturm, Thomas.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Automated deduction in geometry = 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008 : revised papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Sturm, Thomas.; Zengler, Christoph.
(書目-語言資料,印刷品)
主題
Artificial Intelligence (incl. Robotics)
History.
Automatic theorem proving
History of Psychology.
Geometry
Computer Graphics.
History of Science.
History of Philosophy.
Discrete Mathematics in Computer Science.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Convex and Discrete Geometry.
Philosophy.
Psychology.