دانلود کتاب Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings
استدلال خودکار: دومین کنفرانس مشترک بین المللی ، IJCAR 2004 ، کورک ، ایرلند ، 4-8 ژوئیه 2004. مجموعه مقالات
زبان : English
نویسندگان : José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2004
ISBN (شابک) : 3540259848, 3540223452
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 3097 : Lecture Notes in Artificial Intelligence
تعداد صفحات : 491[509]
حجم : 12 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان