TY - SER AU - Smith, Leslie S. TI - A Framework for Neural Net Specification KW - Connectionist Models KW - Formal Models KW - Net Saving Maximization ER -