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
System and method for managing investment funds
Automatic population of feature capabilities on a communication device
Navigation apparatus, search result display method, and graphical user interface
Associating objects in databases by rate-based tagging
Systems and methods for simultaneously configuring multiple independent backups
Systems and methods for a signed magnitude adder in one's complement logic
Semiconductor device and method of forming interconnect structure with conductive pads having expanded interconnect surface area for enhanced interconnection properties
  Randomly Featured Patents
Mounting bracket
Pumpkin cutting apparatus
Golf puter including sight bar
Ring system for external fixation of bone and related method
Bag
Image forming and accounting system
Chelation cleaning process for repairing photomasks
Systems and methods for signature circuits
Dispensing system for print media having differential perforation pattern
Electronic instrument for locating and diagnosing automotive chassis sounds