دانلود کتاب Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 Proceedings
استدلال خودکار با جدول های تحلیلی و روش های مرتبط: کنفرانس بین المللی، TABLEAUX 2000، سنت اندروز، اسکاتلند، انگلستان، 3-7 ژوئیه، 2000 مجموعه مقالات
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 440 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 354067697X,9783540676973 |
| نوبت چاپ | 1 |
دانلود کتاب Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
دانلود کتاب KI 2001: Advances in Artificial Intelligence: Joint German/Austrian Conference on AI Vienna, Austria, September 19–21, 2001 Proceedings
KI 2001: پیشرفت در هوش مصنوعی: کنفرانس مشترک آلمان و اتریش در زمینه هوش مصنوعی وین، اتریش، 19 تا 21 سپتامبر، 2001 مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 474 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540426124,9783540426127 |
| نوبت چاپ | 1 |
دانلود کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings
منطق برای برنامه نویسی، هوش مصنوعی و استدلال: دهمین کنفرانس بین المللی، LPAR 2003، آلماتی، قزاقستان، 22-26 سپتامبر 2003. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 436 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540201017,9783540201014 |
| نوبت چاپ | 1 |
دانلود کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
منطق برای برنامه نویسی، هوش مصنوعی و استدلال: یازدهمین کارگاه بین المللی، LPAR 2004، مونته ویدئو، اروگوئه، 14-18 مارس، 2005، مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer |
| تعداد صفحه | 571 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 3540252363,9783540252368 |
| نوبت چاپ | 1 |
