U.S. federal trademark · Serial No. 90546751 · Reg. No. 6771011
Software development for education, governments, entertainment, gaming and professional development, namely, AI-based software and content involving logic-based domains including proofs, math, arguments, computer programs and solutions; Software development in the framework of software publishing, for education, governments, entertainment, gaming and professional development, namely, AI-based software and content involving logic-based domains including proofs, math, arguments, computer programs and solutions; Design and development of multimedia products for education, governments, entertainment, gaming and professional development, namely, AI-based software and content involving logic-based domains including proofs, math, arguments, computer programs and solutions
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.