Automated Deduction, International Conference Proceedings.
Contributors: Stickel, Mark E., (Ed.)
Publisher: Springer-Verlag
Published: 1990
Language: und
Number of pages: 688
Other titles: 10th international conference on automated deduction.