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