Placeholder text
Automated Theorem Proving
0 - Default Title
Product details
Binding:
Paperback
Edition:
1
Number of Pages:
312
Release Date:
1982-01-01
Publication Date:
1982-01-01
Publisher:
Vieweg+Teubner Verlag
Languages:
Published:
German
ISBN10:
3528085207
GPSR Manufacturer Reference:
Weight:
499 g
Currently sold out