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
Mex$ 1.866
sin IVA

Pedido desde almacén remoto

Entrega prevista 4 - 20 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Shallit, Jeffrey (University of Waterloo, Ontario)

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

Aún no valorado

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))

Más del mismo editor

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