1
出版事項 2006
目次: ... Views on Data Types -- Recursion Schemes for Dynamic Programming -- Bimonadic Semantics for Basic...
全文の入手
電子媒体 eBook
2
出版事項 2006
目次: ... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...
全文の入手
電子媒体 eBook
3
出版事項 2006
目次: ... and Absoluteness to Computability and Domain Independence -- Datatype-Generic Reasoning -- The Logical Strength...
全文の入手
電子媒体 eBook
4
出版事項 2005
目次: ... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...
全文の入手
電子媒体 eBook