Placeholder text
Automated Theorem Proving
0 - Default Title
Product details
Binding:
Paperback
Publication Date:
2014-03-12
Publisher:
Vieweg+Teubner Verlag
Languages:
Published:
English
ISBN10:
3322901033
Weight:
489 g
Currently sold out