Artificial Intelligence and Symbolic Mathematical Computation 1996th ed.(Lecture Notes in Computer Science Vol.1138) P 389 p. 96
Calmet, Jaques,
Campbell, John A.,
Pfalzgraf, Jochen
編
発行年月 |
1996年09月 |
---|
|
出版国 |
ドイツ |
---|
言語 |
英語 |
---|
媒体 |
冊子 |
---|
装丁 |
paper |
---|
|
ページ数/巻数 |
VIII, 384 p. |
---|
|
|
ジャンル |
洋書/理工学/情報科学/人工知能 |
---|
|
|
ISBN |
9783540617327 |
---|
|
商品コード |
0209641956 |
---|
|
|
|
本の性格 |
議事録 |
---|
|
|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0209641956 |
---|
内容
The 19 papers presented in this text were selected by the programmecommittee of the Third International Conference on Artificial Intelligenceand Symbololic Mathematical Computation. Topics addressed include theoremproving, rewriting systems, symbolic computation, and spatial reasoning.