JavaScript を有効にしてご利用下さい.
文字サイズ
古書を探す
Automated reasoning
著者名:L.ウォス ほか著 ; 川越恭二 ほか訳他の作品を見る
出版社:マグロウヒル
発売日:1989.1
561p 21cm
ISBN:4895012921