1
منشور في 2005
جدول المحتويات: ... Deductions -- Satisfiability Checking for PC(ID) -- Pool Resolution and Its Relation to Regular Resolution...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
بواسطة Hazrat, Roozbeh., Hazrat, Roozbeh.
منشور في 2015
جدول المحتويات: ...Introduction -- Basics -- Defining functions -- Lists -- Changing heads! -- A bit of logic and set...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
بواسطة Hazrat, Roozbeh., Hazrat, Roozbeh.
منشور في 2010
جدول المحتويات: ... -- 10.1 Functions with local variables -- 10.2 Functions with conditions -- 11. Recursive functions -- 12...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2005
جدول المحتويات: ... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...
احصل على النص الكامل
الكتروني كتاب الكتروني