Resources Contact Us Home
Browse by: INVENTOR PATENT HOLDER PATENT NUMBER DATE
 
 
Inventor:
Aagaard; Mark D.
Address:
Waterloo, CA
No. of patents:
1
Patents:












Patent Number Title Of Patent Date Issued
7181729 Methods and systems for an interactive theorem-proving tool with reflective capabilities February 20, 2007
Methods and systems are provided for improved operation of a theorem-proving tool. Logic statements that are to be proved are loaded and a series of interactive commands and assumptions are interactively processed. As the series of commands and assumptions are processed they are trac










 
 
  Recently Added Patents
Electromagnetic shield for a passive electronic component in an active medical device implantable lead
Epoxy composition for encapsulating an optical semiconductor element
Crystalline form of zofenopril calcium
Client network device and method for adjusting parameters of client traffic windows based on discovery of other network devices
Semiconductor device
DRAM refresh method and system
Integrating multimedia capabilities with circuit-switched calls
  Randomly Featured Patents
Process for desulfurization of residua with sodamide-hydrogen and regeneration of sodamide
Method for mounting components and apparatus therefor
Aircraft collision avoidance system
Image forming apparatus
Liquid crystal compounds and materials and devices containing them
Cylinder head and crankcase manufacturing and assembly techniques
Rifamycins derivatives and preparation and pharmaceutical compositions thereof
Crossing frog with a moving point
Image analysis systems for grading of meat, predicting quality of meat and/or predicting meat yield of an animal carcass
Hitting practice machine for ball games