Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium /

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون:	Kerber, Manfred, Kohlhase, Michael
التنسيق:
منشور في:	Natick, Mass. : A. K. Peters, 2001
الموضوعات:	Algebra Automatic theorem proving

الوصف
الملخص:	40

مواد مشابهة