U.S. federal trademark · Serial No. 77778366 · Reg. No. 3762671
automated reasoning computer software for use in data management applications
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.