|
丸善のおすすめ度
The Logical Approach to Automatic Sequences(London Mathematical Society Lecture Note Ser: LMS 482) paper 374 p. 22
Shallit, Jeffrey
著
発行年月 |
2022年09月 |
|---|
|
出版国 |
アメリカ合衆国 |
|---|
言語 |
英語 |
|---|
媒体 |
冊子 |
|---|
装丁 |
paper |
|---|
|
ページ数／巻数 |
374 p. |
|---|
|
|
ジャンル |
洋書 |
|---|
|
|
ISBN |
9781108745246 |
|---|
|
商品コード |
1034631729 |
|---|
|
|
|
本の性格 |
学術書 |
|---|
|
新刊案内掲載月 |
2022年07月 |
|---|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1034631729 |
|---|
著者紹介
Shallit, Jeffrey（著者）：University of Waterloo, Ontario
内容
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.
