• الرئیسیة
  • البحث المتقدم
  • قائمة المکتبات
  • إختر اللغة
    • فارسی
    • English
    • العربی

عنوان
The resolution calculus

پدید آورنده
/ Alexander Leitsch

موضوع
Calculus

رده
‭
QA
303
‬ ‭ .
L55
1997
‬

کتابخانه
كتابخانه مركزي و مركز اسناد دانشگاه مازندران

محل استقرار
استان: مازندران ـ شهر: بابلسر

كتابخانه مركزي و مركز اسناد دانشگاه مازندران

تماس با کتابخانه : 62-35302861-011

6202

eng

The resolution calculus
/ Alexander Leitsch

Berlin
: Springer
, 1997.

viii, 300p.
:ill

Language: انگلیسی

Print

Calculus

Leitsch, Alexander

old catalog

الاقتراح / اعلان الخلل

تحذیر! دقق في تسجیل المعلومات
ارسال عودة
تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال