← SearchTAS::57 3600::TAS "GREAT COMPUTATIONAL INTELLIGENCE IN THE FORMAL SCIENCES VIA ANALOGICAL REASONING"$610,418FY2012Department of DefenseDODRensselaer Polytechnic Institute, Troy NYInvestigatorsView source on USAspending →