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
Beverage container lid
Data processing circuit with arbitration between a plurality of queues
Digital broadcast receiver and method for processing caption thereof
High voltage fast recovery trench diode
Low temperature pressure chamber unit, magnetic resonance device with a low temperature pressure chamber unit, and an attachment method to attach at least one add-on unit to an external housin
Data storage apparatus, memory control apparatus and method for controlling flash memories
Systems and methods for cryopreservation of cells
  Randomly Featured Patents
Catalyst preparation method
Memory control system for controlling a first and second processing means to individually access a plurality of memory blocks
Multiple LED sets in oximetry sensors
Apparatus and method for multiple function authentication device
Text-based searches of numeric data
Thrust sliding bearing
Digital magnetic resonance shock-monitoring method
Method for preventing crosstalk between conductive layers
Microwave X-ray source and methods of sterilization
Controller for a wound rotor slip ring induction machine