تفاصيل البطاقة الفهرسية

Using Sophisticated Models in Resolution Theorem Proving

كتاب من تأليف: Sandford, David M. ; نشر في: 1980

لغة: فرنسية
الوصف المادي: 239
ISBN: 3540102310

الوثائق المحصاة في الفهرس هي: الدوريات ، مقالات الدوريات ، الكتب ، أطروحات ما بعد التخرج (ماجستير ودكتوراه) ، تقرير بحثي ، وثيقة سمعية بصري

المكتبة مفتوحة من الأحد إلى الخميس من الساعة 8:30 إلى الساعة16:30 أحيانا يتم غلقها لأسباب إدارية.

تقع المكتبة في الطابق الأرضي من المبنى B أنظر خرائط Google لموقع الويب لتحديد العنوان