-
Matrices
-
Advances in Ultrametric Analysis
-
Geometric and Computational Spectral Theory
-
Analytic Functions of One Complex Variable
-
Arithmetic, Geometry, Cryptography, and Coding Theory 2021
-
Recent Progress in Function Theory and Operator Theory
-
Current Trends in Dynamical Systems, Fractal Geometry, and Their Applications
-
Linear Algebra, Matrices, and Their Applications
-
Lectures on Tight Closure and Its Applications
-
Artificial Intelligence and Mathematics Research
-
Inverse Problems, Geometric and Topological Aspects of Representation Theory, and Low-Dimensional Topology
-
Modern Algebra Volume 1
-
Modern Algebra Volume 2
-
The Versatility of Integrability
-
Fractal Geometry in Pure and Applied Mathematics
-
Inverse Problems: in Memory of Professor Zbigniew Oziewicz
-
Mathematical Modelling (Volumes 786 and 787)
-
Compactifications, Configurations, and Cohomology
-
Manifolds and $K$-Theory
| SKU | Unavailable |
| ISBN 13 | 9780821850275 |
| ISBN 10 | 082185027X |
| Title | Automated Theorem Proving |
| Author | W W Bledsoe |
| Series | Contemporary Mathematics |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | American Mathematical Society |
| Year published | 1984-12-30 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |