Placeholder text

Go to cart

5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980 (Lecture Notes in Computer Science, 87, Band 87)

By R. Kowalski

5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980 (Lecture Notes in Computer Science, 87, Band 87) Computer Science

5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980 (Lecture Notes in Computer Science, 87, Band 87)

0 - Default Title
Product details
Binding:
Paperback
Edition:
1
Number of Pages:
408
Release Date:
2008-06-13
Publication Date:
2008-06-13
Publisher:
Springer
Languages:
Published: English, Original: English
ISBN10:
3540100091
GPSR Manufacturer Reference:
[email protected]
Weight:
562 g
Buy on Amazon
Currently sold out