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
Digital broadcasting system and method of processing data
Quinoid thiophene organic photoelectric material, preparation method thereof and application thereof
Simultaneous image distribution and archiving
Processing abstract derived entities defined in a data abstraction model
Organic compounds
Inverter, NAND gate, and NOR gate
TV wall mount
  Randomly Featured Patents
Thin speaker assemblies including laterally offset resonator cavities and personal electronic devices including the same
System, method and software for providing persistent personal and business entity identification and linking personal and business entity information in an integrated data repository
Treatment of neuropathic pain with zinc finger proteins
Sliding rotor pump-motor-meter
Processing condition determining method and apparatus, display method and apparatus, processing apparatus, measurement apparatus and exposure apparatus, substrate processing system, and progra
Trim tabs and surface drive propeller bite control
Overlap detection apparatus and method
Electrical connector
Display substrate, method of manufacturing the same and method of manufacturing display panel
Showerhead