Proceedings : 10th International Conference on Automated Deduction

作者

Springer-Verlag

出版社

出版时间

1990-01-01

ISBN

未知

页数

688

浏览

3