|
A Computer System for Checking Proofs.(Studies in Computer Science,Artificial Intelligence No. 12) cloth 280 p.
Johnson, S.D.
著
発行年月 |
1983年01月 |
|---|
|
出版国 |
アメリカ合衆国 |
|---|
言語 |
英語 |
|---|
媒体 |
冊子 |
|---|
装丁 |
cloth |
|---|
|
ページ数／巻数 |
280 p. |
|---|
|
|
ジャンル |
洋書 |
|---|
|
|
ISBN |
9780835713436 |
|---|
|
商品コード |
0208618967 |
|---|
|
|
|
|
|
|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0208618967 |
|---|
