書誌「コンピュータによる定理の証明」チャン.C.L.（チン・リアング）・リー.R.C.T.（リチャード・チャン・トゥリー）/長尾真他訳（日本コンピュータ協会）978-4-88917-027-6/9784889170276

書誌データ

Jcode	c
NDC	n
code	9784-88917-027-6
ISBN13	9784889170276
商品名	コンピュータによる定理の証明
作者	チャン.C.L.（チン・リアング）・リー.R.C.T.（リチャード・チャン・トゥリー）/長尾真他訳
出版社	日本コンピュータ協会
シリーズ	コンピュータ・サイエンス研究書シリーズ
サイズ	-
出版日	1982
版刷	初版1刷
定価	6000
頁	390p
函：帯	-：-
解題	-