机读格式显示(MARC)
- 000 00522nam2 2200181 4500
- 245 1_ |a Proceedings |c Conference on Automated Deduction (1980: 5th : Les AArcs , France) |g |A PROCEEDI |F CONFEREN,FRANCE
- 260 __ |a Berlin |b Springer-Verlag |c 1980
- 700 _0 |a Conference on Automated Deduction (1980: 5th : Les AArcs , France) |A CONFEREN,FRANCE |4 著
- 905 __ |a HIEL |d TP3/G1*19