1
منشور في 2008
جدول المحتويات: ... in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics -- Computing Longest...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2005
جدول المحتويات: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2012
جدول المحتويات: ... Conversational Calculator Based on Remote Online Computation -- Load Forecasting Accuracy through Combination...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2012
جدول المحتويات: ... Based Human Detection via Shape Part-Templates Matching -- Matrix Pseudoinversion for Image Neural...
احصل على النص الكامل
الكتروني كتاب الكتروني