£57.99

Cambridge University Press The Logical Approach to Automatic Sequences: Exploring Combinatorics on Words with Walnut: 482 (London Mathematical Society Lecture Note Series, Series Number 482)

Price data last checked 14 day(s) ago - will refresh soon

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

It has never been this cheap. We have no record of a lower price.

£58 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 77 days · 77 data points (no recent data)

Historical
Generating forecast…
£67.19 £57.07 £59.28 £61.49 £63.69 £65.90 £68.11 26 April 2026 15 May 2026 03 June 2026 22 June 2026 11 July 2026

Price Distribution

Price distribution over 77 days • 9 price levels

Days at Price
Current Price
1 day · current 2 days 17 days 2 days 8 days 14 days 10 days 19 days 4 days 0 5 10 14 19 £58 £60 £61 £62 £63 £64 £65 £66 £67 Days at Price

Price Analysis

Most common price: £66 (19 days, 24.7%)

Price range: £58 - £67

Price levels: 9 different prices over 77 days

Description
Automatic sequences are sequences over a finite alphabet generated by a finite-state machine. This book presents a novel viewpoint on automatic sequences, and more generally on combinatorics on words, by introducing a decision method through which many new results in combinatorics and number theory can be automatically proved or disproved with little or no human intervention. This approach to proving theorems is extremely powerful, allowing long and error-prone case-based arguments to be replaced by simple computations. Readers will learn how to phrase their desired results in first-order logic, using free software to automate the computation process. Results that normally require multipage proofs can emerge in milliseconds, allowing users to engage with mathematical questions that would otherwise be difficult to solve. With more than 150 exercises included, this text is an ideal resource for researchers, graduate students, and advanced undergraduates studying combinatorics, sequences, and number theory.

Product Specifications
Brand
Cambridge University Press
Format
paperback
ASIN
1108745245
Category
Books > Subjects > Science, Nature & Maths > Mathematics > Combinatorics & Graph Theory
Domain
Amazon UK
Release Date
29 September 2022
Listed Since
14 May 2022

Barcode

No barcode data available

Similar Products You Might Like

Sequences, Groups, and Number Theory (Trends in Mathematics)
96% match

Sequences, Groups, and Number Theory (Trends in Mathematics)

Birkhauser

£127.16 13 Jul 2026
Number Theoretic Density and Logical Limit Laws (Mathematical Surveys and Monographs)
95% match

Number Theoretic Density and Logical Limit Laws (Mathematical Surveys and Monographs)

Brand: American Mathematical Society

£82.50 05 Jul 2026
An Invitation to Analytic Combinatorics: From One to Several Variables (Texts & Monographs in Symbolic Computation)
95% match

An Invitation to Analytic Combinatorics: From One to Several Variables (Texts & Monographs in Symbolic Computation)

Springer

£90.01 09 Jul 2026
Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra: In Honour of Peter Paule on his 60th Birthday (Texts & Monographs in Symbolic Computation)
95% match

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra: In Honour of Peter Paule on his 60th Birthday (Texts & Monographs in Symbolic Computation)

Springer

£77.39 12 Jul 2026
Automata Theory with Modern Applications
95% match

Automata Theory with Modern Applications

Cambridge University Press

£82.00 10 Jul 2026
Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra: In Honour of Peter Paule on his 60th Birthday (Texts & Monographs in Symbolic Computation)
94% match

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra: In Honour of Peter Paule on his 60th Birthday (Texts & Monographs in Symbolic Computation)

Springer

£76.38 09 Jul 2026
Mathematics in Computing: An Accessible Guide to Historical, Foundational and Application Contexts (Undergraduate Topics in Computer Science)
94% match

Mathematics in Computing: An Accessible Guide to Historical, Foundational and Application Contexts (Undergraduate Topics in Computer Science)

Springer

£37.39 13 Jul 2026
Methods in Algorithmic Analysis (Chapman & Hall/CRC Computer and Information Science Series)
94% match

Methods in Algorithmic Analysis (Chapman & Hall/CRC Computer and Information Science Series)

CRC Press

£80.50 15 Jul 2026
Model Theoretic Methods in Finite Combinatorics: AMS-ASL Special Session, January 5-8, 2009 Washington, DC (Contemporary Mathematics)
94% match

Model Theoretic Methods in Finite Combinatorics: AMS-ASL Special Session, January 5-8, 2009 Washington, DC (Contemporary Mathematics)

£145.00 07 Jul 2026
George E. Andrews 80 Years of Combinatory Analysis (Trends in Mathematics)
94% match

George E. Andrews 80 Years of Combinatory Analysis (Trends in Mathematics)

Birkhauser

£108.91 15 Jul 2026
George E. Andrews 80 Years of Combinatory Analysis (Trends in Mathematics)
94% match

George E. Andrews 80 Years of Combinatory Analysis (Trends in Mathematics)

Birkhauser

£109.18 15 Jul 2026
Combinatorics of Permutations (Discrete Mathematics and Its Applications)
94% match

Combinatorics of Permutations (Discrete Mathematics and Its Applications)

CRC Press

£95.92 09 Jul 2026