Description
Product details
Assisted by | Edmund M. Clarke (Editor), Edmun M Clarke (Editor), Edmund M Clarke (Editor), Voronkov (Editor), Voronkov (Editor), Andrei Voronkov (Editor) |
Publisher | Springer, Berlin |
Languages | English |
Product format | Paperback / Softback |
Released | 03.11.2010 |
EAN | 9783642175107 |
ISBN | 978-3-642-17510-7 |
No. of pages | 517 |
Dimensions | 154 mm x 235 mm x 236 mm |
Weight | 801 g |
Illustrations | X, 517 p. |
Series |
Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence |
Subject |
Natural sciences, medicine, IT, technology
> IT, data processing
> IT
|
Customer reviews
No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.
Write a review
Thumbs up or thumbs down? Write your own review.