Automated Theory Formation in Pure Mathematics

Nonfiction, Computers, Advanced Computing, Artificial Intelligence, Database Management, Data Processing, Science & Nature, Mathematics
Big bigCover of Automated Theory Formation in Pure Mathematics

More books from Springer London

bigCover of the book Fuel Cells in the Waste-to-Energy Chain by
bigCover of the book Polymer Nanocomposites by
bigCover of the book Stream Ciphers by
bigCover of the book Displacement of the Hip in Childhood by
bigCover of the book Ergodic Theory and Dynamical Systems by
bigCover of the book The Person Behind the Syndrome by
bigCover of the book Stochastic Reachability Analysis of Hybrid Systems by
bigCover of the book CIRP Design 2012 by
bigCover of the book The Perception of Quality by
bigCover of the book Traffic-Sign Recognition Systems by
bigCover of the book Specification of Software Systems by
bigCover of the book Music and Human-Computer Interaction by
bigCover of the book Evolutionary Game Design by
bigCover of the book Brain-Computer Interfaces by
bigCover of the book Creativity and Rationale by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy