1
出版事項 2010
目次: ... Provers for Basic Hybrid Logic -- Induction -- Automated Synthesis of Induction Axioms for Programs...
全文の入手
電子媒体 eBook
2
出版事項 2010
目次: ... Basic Function Neural Networks Based on Artificial Immune Networks -- Spatial Filter Selection...
全文の入手
電子媒体 eBook