Sale
The Logical Approach to Automatic Sequences : Exploring Combinatorics on Words with Walnut
Cambridge University Press
$121.98
$118.95
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.
- | : Jeffrey Shallit (University of Waterloo, Ontario)
- | Publisher: Cambridge University Press
- | Publication Date: Sep 29, 2022
- | Country of Publication: United Kingdom
- | Number of Pages: 374 pages
- | Language: Unknown
- | Binding: Paperback / softback
- | ISBN-10: 1108745245
- | ISBN-13: 9781108745246
- Author:
- Jeffrey Shallit (University of Waterloo, Ontario)
- Publisher:
- Cambridge University Press
- Publication Date:
- Sep 29, 2022
- Country of Publication:
- United Kingdom
- Language:
- Unknown
- Number of pages:
- 374 pages
- Binding:
- Paperback / softback
- ISBN-10:
- 1108745245
- ISBN-13:
- 9781108745246