7TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION: PROCEEDINGS,1984 (LNCS 170)
Series: LECTURE NOTES IN COMPUTER SCIENCE NO.170Publication details: SV 1984 BERLINEdition: 1Description: 508ISBN:- NCST
- 901
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.