- Start
- The Logical Approach to Automatic Sequences
The Logical Approach to Automatic Sequences
Angebote / Angebote:
Readers will learn how to automatically prove or disprove new results in combinatorics and number theory in milliseconds by phrasing their desired results in first-order logic and using free software to automate the computation process. Containing more than 150 exercises, this text is an ideal resource for students and researchers.
Noch nicht erschienen. Termin unbekannt