info@buecher-doppler.ch
056 222 53 47
Warenkorb
Ihr Warenkorb ist leer.
Gesamt
0,00 CHF
  • Start
  • The Logical Approach to Automatic Sequences

The Logical Approach to Automatic Sequences

Angebote / Angebote:

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.
Noch nicht erschienen. Termin unbekannt

Preis

115,00 CHF

Artikel, die Sie kürzlich angesehen haben