Automated Theorem Proving : After 25 Years
W. W Bledsoe
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
Nonlinear Wave Equations : Analytic and Computational Techniques
Christopher W. Curtis
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
Automorphic Forms and Related Topics
Samuele Anni
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
Polytopes and Discrete Geometry
Gabriel Cunningham
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
Vertex Operator Algebras, Number Theory and Related Topics
Matthew Krauel
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
75 Years of Mathematics of Computation
Susanne C. Brenner
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
Differential Geometry and Global Analysis : In Honor of Tadashi Nagano
Bang-Yen Chen
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)