بانک مقالات ISI با ترجمه فارسی
مقالات با ترجمه فارسی

عنوان کنفرانس کنفرانس ریاضیات کامپیوتری هوشمند  (CICM 2014)

CICM 2014 : Conferences on Intelligent Computer Mathematics

حوزه(های) تحت پوشش:  مهندسی کامپیوتر ، فناوری اطلاعات، علوم کامپیوتر
تاریخ برگزاری:  Jul 7, 2014 – Jul 11, 2014 (دوشنبه ۱۶ تیر ۱۳۹۳ – جمعه ۲۰ تیر ۱۳۹۳)

محل برگزاری:  کوئیمبرا – پرتغال
وضعیت کنفرانس: اطلاع رسانی

تاریخ‌های مهم

مهلت ارسال اصل مقاله : Feb 28, 2014 (جمعه ۹ اسفند ۱۳۹۲)

اعلام نتایج داوری : Apr 14, 2014 (دوشنبه ۲۵ فروردین ۱۳۹۳)

محورهای همایش:

  • قضیه خودکار اثبات در سیستم جبر کامپیوتری.
  •  جبر کامپیوتر در سیستم های اثبات قضیه.
  • با اضافه کردن قابلیت استدلال به سیستم جبر کامپیوتری.
  • اضافه کردن قابلیت های محاسباتی به قضیه سیستم اثبات.
  • نظریه، طراحی و پیاده سازی سیستم های میان رشته ای برای
    ریاضیات کامپیوتر است.
  • مطالعات موردی و برنامه های کاربردی که شامل ترکیبی از محاسبات و
    استدلال.
  • مطالعات موردی در رسمی از تئوری های ریاضی.
  • نمایندگی از ریاضیات در سیستم جبر کامپیوتری.
  • روش های اکتشاف نظریه.
  •  ترکیبی از روش های محاسبات نمادین و کسر رسمی.
  •  زبان های ورودی، زبان های برنامه نویسی، انواع و زبان محدودیت،
    و مدل سازی زبان برای سیستم های دستیار ریاضی.
  •  نظریه نوع هوموتوپی.
  •  زیرساخت برای خدمات ریاضی

اطلاعات تماس :

وب‌سایت :

http://www.cicm-conference.org/2014

پاسخ دهید

نشانی ایمیل شما منتشر نخواهد شد. بخش‌های موردنیاز علامت‌گذاری شده‌اند *

شما می‌توانید از این دستورات HTML استفاده کنید: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>