Symposium on Automatic Demonstration
Held at Versailles/france、 Decembre 1968
【シリーズ】Lecture Notes in Mathematics 125
【出版社 】SPRINGER-VERLAG
【発行年度】1970 【冊数】1 【頁数】310 【判型・装丁】6to soft
【現品状態】
背・小口等にヒヤケ、表紙に少汚れあり、本文良。
【ISBN】3540049142
￥2,500 税込