
Automated Reasoning
6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2012
نویسنده
Ulrike Sattlerنویسنده
Ulrike Sattlerناشر
Springerناشر
Springerشابک
9783642313646
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران