← SearchTAS::57 3600::TAS "(YIP) ACTIVE FORMALIZATION THROUGH ANALOGICO- DEDUCTIVE REASONING"$119,999FY2016Department of DefenseDODPurdue University, West Lafayette INInvestigatorsView source on USAspending →