Sturm, Thomas.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
, [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.
(Language materials, printed)
Subjects
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.