Victor A. Carreno & Cesar A. Munoz 
Theorem Proving in Higher Order Logics [PDF ebook] 
15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings

समर्थन
€57.90
भुगतान की विधि
यह ईबुक खरीदें और 1 और मुफ़्त पाएं!
भाषा अंग्रेज़ी ● स्वरूप PDF ● ISBN 9783540456858 ● संपादक Victor A. Carreno & Cesar A. Munoz ● प्रकाशक Springer Berlin Heidelberg ● प्रकाशित 2003 ● डाउनलोड करने योग्य 3 बार ● मुद्रा EUR ● आईडी 6376757 ● कॉपी सुरक्षा Adobe DRM
एक DRM सक्षम ईबुक रीडर की आवश्यकता है

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

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