الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
structure computational » structures computational, structure composition
programming recursion » programming decision, programming session, programming decisions
structure computational » structures computational, structure composition
programming recursion » programming decision, programming session, programming decisions
1
منشور في 2005
جدول المحتويات:
“... -- On the Use of Gröbner Bases for Computing the Structure of Finite Abelian Groups -- Normal Forms...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2008
جدول المحتويات:
“... Highly Flexible Data Structure for Multi-level Visibility of P2P Communities -- Mathematical Performance...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2008
جدول المحتويات:
“... Linear Constraints for Moding CLP( ) Programs -- On Polymorphic Recursion, Type Systems, and Abstract...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2007
جدول المحتويات:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2005
جدول المحتويات:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”احصل على النص الكامل
الكتروني
كتاب الكتروني