The Logical Approach to Automatic Sequences: Exploring Combinatorics on Words with Walnut
(Bog, Paperback / softback, Engelsk)
Forlag:
Cambridge University Press
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9781108745246
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
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.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Cambridge University Press |
| Forfatter | Jeffrey (University of Waterloo Shallit |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgivelsesdato | 29-09-2022 |
| Første udgivelsesår | 2022 |
| Serie | London Mathematical Society Lecture Note Series |
| Illustrationer | Worked examples or Exercises |
| Originalsprog | United Kingdom |
| Sideantal | 374 |
| Indbinding | Paperback / softback |
| Forlag | Cambridge University Press |
| Sideoplysninger | 374 pages, Worked examples or Exercises |
| Mål | 153 x 228 x 24 |
| ISBN-13 / EAN-13 | 9781108745246 |