Serial Number
76179668
Filing Date
Dec 12, 2000
Registration Date
Jan 14, 2003
Trademark by
Active Trademark
Classification Information
COMPUTER SOFTWARE THAT PERFORMS AUTOMATED LOGICAL REASONING AND ARE COMMONLY INTEGRATED INTO SYSTEM DEVELOPMENT TOOLS AND ENVIRONMENTS
Electrical and Scientific Apparatus