Lecture Notes in Artificial Intelligence 449 10th International Conference on Automated Deduction
出版社
Springer-Verlag Berlin Heidelberg
出版时间
1990
ISBN
标注页数
688 页
PDF页数
703 页
书籍介绍
出版社
Springer-Verlag Berlin Heidelberg
出版时间
1990
ISBN
标注页数
688 页
PDF页数
703 页