مؤلف: Gopalan (University of Minnesota) Nadathur الدعم1 كتب إلكترونية بواسطة Gopalan (University of Minnesota) Nadathur Dale Miller & Gopalan Nadathur: Programming with Higher-Order Logic … PDF الإنجليزية DRM €54.08 0 0 كاونتر الدفع 0,00 × × × تغيير لغة المستخدم × عربىألمانيةالإنجليزيةالأسبانيةفرنسيالهنديةالأندونيسيةالإيطاليلغة الملايوهولنديالبولنديالبرتغاليةرومانيالروسيةاللغة السويديةالتايلانديةاللغة التركيةالأوكرانيالفيتناميةصينىInternational Modal ×
