. . . "IAS" . "IAS machine" . . . . . . . . "453600.0" . . "computer project" . . "IAS machine" . "IAS computer" . "Institute for Advanced Study computer project" . "IAS Machine" . . . "IAS architecture" . .