Download or read book The Logical Approach to Automatic Sequences written by Jeffrey Shallit and published by Cambridge University Press. This book was released on 2022-09-29 with total page 375 pages. Available in PDF, EPUB and Kindle. Book excerpt: Learn how to automatically prove mathematical statements in combinatorics, sequences, and number theory.