Placeholder text
6th Conference on Automated Deduction. Lecture Notes in Computer Science 138
- Default Title
Product details
Binding:
Paperback
Number of Pages:
389
Publication Date:
1982
Publisher:
Springer-Verlag
Languages:
Published:
English
ISBN10:
0387115587
Weight:
230 g
Currently sold out