دانلود کتاب 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 (شابک) : 9783540223450, 3540223452, 3540259848

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 3097 : Lecture Notes in Artificial Intelligence

تعداد صفحات : 491[509]

حجم : 9 مگابایت

فرمت کتاب : djvu

قیمت : 36000 تومان