Logical Approach to Automatic Sequences
Exploring Combinatorics on Words with Walnut
Autor:
Jeffrey Shallit
Dostupnost:
Skladem u dodavatele
Odesíláme za 9-15 dnů
2 253
Kč
Learn how to automatically prove mathematical statements in combinatorics, sequences, and number the...