|
Proof Complexity and Feasible Arithmetics(DIMACS - Ser. in Discrete Mathematics and Theoretical Computer Science Vol. 39) H 320
Beame, Paul W.,
Buss, Samuel R.
著
発行年月 |
1997年11月 |
|---|
|
出版国 |
アメリカ合衆国 |
|---|
言語 |
英語 |
|---|
媒体 |
冊子 |
|---|
装丁 |
hardcover |
|---|
|
ページ数／巻数 |
320 p. |
|---|
|
|
ジャンル |
洋書／理工学／数学／数学基礎論 |
|---|
|
|
ISBN |
9780821805770 |
|---|
|
商品コード |
0209752250 |
|---|
|
|
|
本の性格 |
学術書 |
|---|
|
|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0209752250 |
|---|
