Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits.
Create an account for free
Contact
How to shop
Help
Delivery
Austrian Post 5.49 €
DPD courier 3.99 €
DPD point 2.99 €
GLS courier 4.99 €
Shopping guide
My account
▸
Empty :-(
0
Automated Deduction, Cade-13
13th International Conference on Automated Deduction, New Brunswick, Nj, USA, July 30 - August 3, 1996, Proceedings
Language
English
English
Book
Paperback
Presenting 46 revised papers from CADE-13, this text focuses on results in all aspects of automated...
Libristo code: 08908780
?
290 b
290 b
118.39
€
VAT included
Low in stock at our supplier
Shipping in 13-18 days
Delivery to Austria
Delivery to Austria
Up to 30 days for returns
Customers also purchased
Presenting 46 revised papers from CADE-13, this text focuses on results in all aspects of automated deduction.
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Automated Deduction, Cade-13
Author
M. McRobbie, J. K. Slaney
Language
English
English
Binding
Book - Paperback
Date of issue
1996
Number of pages
788
EAN
9783540615118
ISBN
9783540615118
Libristo code
08908780
Weight
1166
Dimensions
156 x 234 x 39
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Hardback
185.09
€
