US$ 6.50 shipping within U.S.A.
Destination, rates & speedsSeller: Moe's Books, Berkeley, CA, U.S.A.
Soft cover. Condition: Very good. No jacket. In great condition. Binding is tight and inside is clean and unmarked. Seller Inventory # 1152338
Quantity: 1 available
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition. Seller Inventory # 44644217
Quantity: 4 available
Seller: Prior Books Ltd, Cheltenham, United Kingdom
Paperback. Condition: Like New. First Edition. Firm and square with strong joints and sharp corners, just showing a few mild bumps and rubs. Hence a non-text page is stamped 'damaged'. Despite such this book is actually in nearly new condition with no defects. Thus the contents are crisp, fresh and tight. And so it looks and feels unread and is now offered for sale at a very reasonable price. Seller Inventory # 135383
Quantity: 1 available
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New. Seller Inventory # 44644217-n
Quantity: 4 available
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-9968
Quantity: 1 available
Seller: Basi6 International, Irving, TX, U.S.A.
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-152522
Quantity: 4 available
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. Seller Inventory # 26395941987
Quantity: 4 available
Seller: California Books, Miami, FL, U.S.A.
Condition: New. Seller Inventory # I-9781108745246
Quantity: Over 20 available
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. Seller Inventory # 18395941993
Quantity: 4 available
Seller: Grand Eagle Retail, Fairfield, OH, U.S.A.
Paperback. Condition: new. Paperback. Automatic sequences are sequences over a finite alphabet generated by a finite-state machine. This book presents a novel viewpoint on automatic sequences, and more generally on combinatorics on words, by introducing a decision method through which many new results in combinatorics and number theory can be automatically proved or disproved with little or no human intervention. This approach to proving theorems is extremely powerful, allowing long and error-prone case-based arguments to be replaced by simple computations. Readers will learn how to phrase their desired results in first-order logic, using free software to automate the computation process. Results that normally require multipage proofs can emerge in milliseconds, allowing users to engage with mathematical questions that would otherwise be difficult to solve. With more than 150 exercises included, this text is an ideal resource for researchers, graduate students, and advanced undergraduates studying combinatorics, sequences, and number theory. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9781108745246
Quantity: 1 available