書誌データ
Jcode
c
NDC
n
code
4-88917-027-8
ISBN13
9784889170276
商品名
コンピュータによる定理の証明
作者
チャン.C.L.(チン・リアング)・リー.R.C.T.(リチャード・チャン・トゥリー)/長尾真他訳
出版社
日本コンピュータ協会
シリーズ
コンピュータ・サイエンス研究書シリーズ
サイズ
-
出版日
1982
版刷
初版1刷
定価
6000
頁
390p
函:帯
-:-
解題
-
この本についてtweet出来ます
[前頁]
古書Project
the 古書