Robert Nieuwenhuis 
Automated Deduction – CADE-20 [PDF ebook] 
20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

समर्थन
€57.96
भुगतान की विधि
यह ईबुक खरीदें और 1 और मुफ़्त पाएं!
भाषा अंग्रेज़ी ● स्वरूप PDF ● ISBN 9783540318644 ● संपादक Robert Nieuwenhuis ● प्रकाशक Springer Berlin Heidelberg ● प्रकाशित 2005 ● डाउनलोड करने योग्य 3 बार ● मुद्रा EUR ● आईडी 6316505 ● कॉपी सुरक्षा Adobe DRM
एक DRM सक्षम ईबुक रीडर की आवश्यकता है

एक ही लेखक से अधिक ईबुक / संपादक

16,580 इस श्रेणी में ईबुक