
Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2001
نویسنده
Manfred Kerber; Michael Kohlhaseشابک
9780429064302
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران