دانلود کتاب Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
استدلال خودکار: چهارمین کنفرانس مشترک بین المللی ، IJCAR 2008 سیدنی ، استرالیا ، مجموعه مقالات 12 تا 15 آگوست 2008
زبان : English
نویسندگان : Aarti Gupta (auth.), Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2008
ISBN (شابک) : 3540710698, 9783540710691
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 5195
تعداد صفحات : 556[567]
حجم : 6 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان