دانلود کتاب Logic for programming and automated reasoning: 6th International Conference, LPAR’99, Tbilisi, Georgia, September 6-10, 1999: proceedings
دانلود کتاب Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
دانلود کتاب 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 |
دانلود کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005,
دانلود کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006,
دانلود کتاب Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers … Computer Science and General Issues)
دیدگاه های انفورماتیک سیستم ها: ششمین کنفرانس بین المللی یادبود آندری ارشوف، PSI 2006، نووسیبیرسک، روسیه، 27-30 ژوئن 2006، مقالات تجدید نظر شده ... علوم کامپیوتر و مسائل عمومی)
موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
---|---|
نوع کالا | کتاب الکترونیکی |
ناشر | Springer |
تعداد صفحه | 510 |
حجم فایل | 7 مگابایت |
کد کتاب | 3540708804,9783540708803 |
نوبت چاپ | 1 |