Logical Approach to Automatic Sequences
Exploring Combinatorics on Words with Walnut
Autor:
Jeffrey Shallit
Disponibilitate:
În depozitul extern
Expediem în 9-15 zile
535.76
lei
Learn how to automatically prove mathematical statements in combinatorics, sequences, and number the...
