Capa do artigo Logical Approach To Automatic Sequences
10% OFF

Logical Approach To Automatic Sequences eBook

Exploring Combinatorics On Words With Walnut

by Jeffrey Shallit
Book eBook
language: english
Publisher: CAMBRIDGE UNIVERSITY PRESS, September of 2022 ‧
102,03€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for ADE
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.

Logical Approach To Automatic Sequences

Exploring Combinatorics On Words With Walnut

by Jeffrey Shallit

Property Description
ISBN: 9781108786973
Publisher: CAMBRIDGE UNIVERSITY PRESS
Release Date: September of 2022
Language: English
Format: eBook
Collection: London Mathematical Society Lecture Note Series
Categories: eBooks in English > Science > Mathematics
EAN: 9781108786973

BOOKS FROM THE SAME COLLECTION

SEE MORE TITLES FROM THIS COLLECTION