1
出版事項 2005
目次: ... Deductions -- Satisfiability Checking for PC(ID) -- Pool Resolution and Its Relation to Regular Resolution...
全文の入手
電子媒体 eBook
2
著者: Hazrat, Roozbeh., Hazrat, Roozbeh.
出版事項 2015
目次: ...Introduction -- Basics -- Defining functions -- Lists -- Changing heads! -- A bit of logic and set...
全文の入手
電子媒体 eBook
3
著者: Hazrat, Roozbeh., Hazrat, Roozbeh.
出版事項 2010
目次: ... -- 10.1 Functions with local variables -- 10.2 Functions with conditions -- 11. Recursive functions -- 12...
全文の入手
電子媒体 eBook
4
出版事項 2005
目次: ... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...
全文の入手
電子媒体 eBook