Symbolic Rewriting Techniques.(Progress in Computer Science and Applied Logic Vol. 15) hardcover 296 p.
Bronstein, B.I.,
Grabmeier, J.,
Weispfenning, V.
著
発行年月 |
1998年01月 |
|---|
|
出版国 |
スイス |
|---|
言語 |
英語 |
|---|
媒体 |
冊子 |
|---|
装丁 |
hardcover |
|---|
|
ページ数/巻数 |
296 p. |
|---|
|
|
ジャンル |
洋書/理工学/情報科学/情報科学基礎 |
|---|
|
|
ISBN |
9783764359010 |
|---|
|
商品コード |
0209810869 |
|---|
|
|
|
本の性格 |
学術書 |
|---|
|
|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0209810869 |
|---|
内容
Symbolic rewriting techniques are methods for deriving consequences fromsystems of equations, and are of great use when investigating the structureof the solutions. This work is taken from a workshop, the main goal of whichwas the investigation of common threads and methods.