The Logical Approach to Automatic Sequences: Exploring Combinatorics on Words with Walnut - London Mathematical Society Lecture Note Series - Shallit, Jeffrey (University of Waterloo, Ontario) - Libros - Cambridge University Press - 9781108745246 - 29 de septiembre de 2022
En caso de que portada y título no coincidan, el título será el correcto

Shallit, Jeffrey (University of Waterloo, Ontario)
The Logical Approach to Automatic Sequences: Exploring Combinatorics on Words with Walnut - London Mathematical Society Lecture Note Series

Precio
$ 106,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 24 de jun. - 13 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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.

Worked examples or Exercises

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 29 de septiembre de 2022
ISBN13 9781108745246
Editores Cambridge University Press
Páginas 374
Dimensiones 228 × 153 × 24 mm   ·   594 g   (Peso (estimado))

Mere med samme udgiver

Ver todo de Shallit, Jeffrey (University of Waterloo, Ontario) ( Ej. Hardcover Book y Paperback Book )