7th International Conference on Automated Deduction: Proceedings (Lecture Notes in Computer Science) (v. 170)

Proceedings

by R. E. Shostak

Paperback

ISBN: 978-0-387-96022-7

ISBN-10: 0-387-96022-8

Springer · 1984
See also:
1984Taschenbuch7th International Conference on Automated Deduction: Proceedings