1
Publicado 2010
Table of Contents: ... Provers for Basic Hybrid Logic -- Induction -- Automated Synthesis of Induction Axioms for Programs...
Ligazón do recurso
Electrónico eBook
2
Publicado 2010
Table of Contents: ... Basic Function Neural Networks Based on Artificial Immune Networks -- Spatial Filter Selection...
Ligazón do recurso
Electrónico eBook