وزارة التعليم العالي و البحث العلمي
Ministry of Higher Education and Scientific Research
وزارة التعليم العالي و البحث العلمي
Ministry of Higher Education and Scientific Research
| اسم الكتاب | automated theory proving:a logical basis |
|---|---|
| اسم المؤلف | donald w. loveland |
| بلد النشر | amsterdam |
| دار النشر | north-holland |
| سنة النشر | 1978 |
| الواصفات | |