登入選單
Google圖書搜尋
Thomas Say Correspondence to Jakob Sturm
作者
Thomas Say
出版1821
ISBN
OCLC:953634470
主題
Beetles
How Reason Almost Lost Its Mind
作者
Paul Erickson / Judy L. Klein / Lorraine Daston / Rebecca Lemov / Thomas Sturm / Michael D. Gordin
出版University of Chicago Press, 2013-11-22
ISBN
9780226046778 / 022604677X
主題
History
Psychology's Territories
作者
Mitchell Ash / Thomas Sturm
出版Psychology Press, 2007-04-02
ISBN
9781135595159 / 1135595151
主題
Psychology
Protestant Politics
作者
Thomas A. Brady
出版BRILL, 1995
ISBN
0391038230 / 9780391038233
主題
History
Das Kuratorium
作者
Thomas Sturm
出版1994
ISBN
OCLC:165245124
Protestant Politics
作者
Brady Jr.
出版BRILL, 2023-08-21
ISBN
9789004618688 / 9004618686
主題
Architecture
Tallis's Illustrated Scripture History for the Imp...
作者
Thomas Gaspey
出版Gale and the British Library, 1850-01-01
ISBN
1535811560 / 9781535811569
The Politics of the Reformation in Germany
作者
Thomas A. Brady
出版Humanities Press International, 1997
ISBN
UOM:39015041004402
主題
Biography & Autobiography
Automated Deduction in Geometry
作者
Thomas Sturm / Christoph Zengler
出版Springer, 2011-05-03
ISBN
9783642210464 / 3642210465
主題
Computers
Knowledge Management goes Knowledge Communities
作者
Thomas Sturm
出版Grin Publishing, 2007
ISBN
3638687139 / 9783638687133
Shanghai Gold
作者
Thomas Sturm
出版2010-09
ISBN
0978608100 / 9780978608101
主題
Fiction
Why Does History Matter to Philosophy and the Scie...
作者
Lorenz Krüger
出版de Gruyter, 2005
ISBN
3110180421 / 9783110180428
主題
History
Jacob Sturm of Strasbourg (1489-1553) and the Poli...
作者
Thomas Allan Brady
出版1968
ISBN
OCLC:44007269
Guarded Expressions in Practice
作者
Andreas Dolzmann / Thomas Sturm
出版1997
ISBN
OCLC:258513976
主題
Algebra
Psychology's Territories - Historical and Contempo...
作者
Paul B. Baltes / Mitchell G. Ash / Sven Lüders / Jochen Brandstätter / Wolfgang Prinz / Michael Heidelberger / Sabine Maasen / Jill Morawski / Kenneth J. Gergen / Thomas Sturm / Horst Gundlach / Fritz Strack / Norbert Schwarz / Gerhard Roth / Thomas F. Münte / Hans-Jochen Heinze / Rainer M. Bösel / Michael I. Hagner / Gerd Gigerenzer / James H. Capshew
出版2008
ISBN
OCLC:1267501376
A New Approach for Automatic Theorem Proving in Re...
作者
Andreas Dolzmann / Thomas Sturm
出版1996
ISBN
OCLC:258493314
主題
Automatic theorem proving
Generalized Constraint Solving by Elimination Meth...
作者
Thomas Sturm
出版2004
ISBN
OCLC:634699329
The Legacy of the Sturm & Storm Families
作者
Thomas W. Gibbs
出版1990
ISBN
OCLC:156874842
Simplification of quantifier free formulas over or...
作者
Andreas Dolzmann / Thomas Sturm
出版1995
ISBN
OCLC:246761065
P-adic Root Isolation
作者
Thomas Sturm / Volker Weispfenning
出版2004
ISBN
OCLC:249809984
主題
Numbers, Real
An algebraic approach to offsetting and blending o...
作者
Thomas Sturm / Volker Weispfenning
出版1998
ISBN
OCLC:1068643733
An Optimization Procedure Using Higher Derivatives
作者
Jochen Haucke / Thomas Sturm
出版1988
ISBN
OCLC:633576215
Redlog User Manual
作者
Andreas Dolzmann / Thomas Sturm
出版1996
ISBN
OCLC:258506882
主題
Algebra
Linear Problems in Valued Fields
作者
Thomas Sturm
出版1998
ISBN
OCLC:45097271
主題
Algebras, Linear
Quantifier Elimination Based Constraint Logic Prog...
作者
Thomas Sturm
出版2002
ISBN
OCLC:248921585
主題
Constraint programming (Computer science)
REDLOG
作者
Andreas Dolzmann / Thomas Sturm
出版1996
ISBN
OCLC:258410740
主題
Algebra
Solving Systems of Linear Congruences
作者
Andreas Dolzmann / Thomas Sturm
出版2001
ISBN
OCLC:248921206
主題
Congruences (Geometry)
Geometric and Function Analytic Approaches to the ...
作者
Thomas Roth
出版2012
ISBN
OCLC:798212328
主題
Boundary value problems
Approaches to Parallel Quantifier Elimination
作者
Andreas Dolzmann / Oliver Gloor / Thomas Sturm
出版1998
ISBN
OCLC:245791743
主題
Algorithms
P-adic Constraint Solving
作者
Andreas Dolzmann / Thomas Sturm
出版1999
ISBN
OCLC:164574701
主題
Algebras, Linear