
=
وزارة التعليم العالي و البحث العلمي
Ministry of Higher Education and Scientific Research
اسم الكتاب | computability theory,semantics,and logic programming |
---|---|
اسم المؤلف | melvin fitting |
بلد النشر | oxford |
دار النشر | oxford university press |
سنة النشر | 1987 |
الواصفات | |