10% OFF

The Logical Approach To Automatic Sequences

Exploring Combinatorics On Words With Walnut

by Jeffrey (University Of Waterloo, Ontario) Shallit
Book eBook
language: english
Publisher: CAMBRIDGE UNIVERSITY PRESS, September of 2022 ‧
104,09€
10% OFF CARD
free shipping
Sell ​​your book
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.

The Logical Approach To Automatic Sequences

Exploring Combinatorics On Words With Walnut

by Jeffrey (University Of Waterloo, Ontario) Shallit

Property Description
ISBN: 9781108745246
Publisher: CAMBRIDGE UNIVERSITY PRESS
Release Date: September of 2022
Language: English
Cover: Softcover
Pages: 374
Format: Book
Collection: London Mathematical Society Lecture Note Series
Categories: Books in English > Science > Mathematics
Books in English > Others
EAN: 9781108745246