Languages
Sturm, Thomas.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
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.)
(Electronic resources)
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.
(Electronic resources)
Subjects
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.