JavaScript を有効にしてご利用下さい.
文字サイズ
古書を探す
アダルト商品の検索を行う場合、18歳未満の方のご利用は固くお断りします。 あなたは18歳以上ですか?
コンピュータによる推論技法 <Computation & software science>
Automated reasoning
L.ウォス ほか著 ; 川越恭二 ほか訳、マグロウヒル、1989.1
561p 21cm
4895012921