10% de desconto

The Logical Approach To Automatic Sequences

Exploring Combinatorics On Words With Walnut

de Jeffrey (University Of Waterloo, Ontario) Shallit
Livro eBook
idioma: inglês
Editor: CAMBRIDGE UNIVERSITY PRESS, setembro de 2022 ‧
104,09€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
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

de Jeffrey (University Of Waterloo, Ontario) Shallit

Propriedade Descrição
ISBN: 9781108745246
Editor: CAMBRIDGE UNIVERSITY PRESS
Data de Lançamento: setembro de 2022
Idioma: Inglês
Encadernação: Capa mole
Páginas: 374
Tipo de produto: Livro
Coleção: London Mathematical Society Lecture Note Series
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
Livros em Inglês > Outros
EAN: 9781108745246