• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه

عنوان
Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium

پدید آورنده
CALCULEMUS-2000 Symposium, Scotland, 2000

موضوع
Algebra- Data processing- Congresses ► Automatic theorem proving- Congresses

رده
512
C144s

کتابخانه
کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان

محل استقرار
استان: اصفهان ـ شهر: اصفهان

کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان

تماس با کتابخانه : 6-37933185-031

عنوان و نام پديدآور

نام نخستين پديدآور
CALCULEMUS-2000 Symposium, Scotland, 2000
عنوان اصلي
Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium

وضعیت نشر و پخش و غیره

تاریخ نشرو بخش و غیره
c2001
نام ناشر، پخش کننده و غيره
A K Peters

موضوع (اسم عام یاعبارت اسمی عام)

عنصر شناسه ای
Algebra- Data processing- Congresses ► Automatic theorem proving- Congresses

رده بندی ديویی

ويراست
C144s
شماره
512

شناسه افزوده (تنالگان)

عنصر شناسه اي
Kerber, Manfred, 1956-, ed

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال