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
Process for producing a plasma protein-containing medicament with reduced concentration of citrate and metals
Air-fuel ratio control apparatus for an internal combustion engine
Methods and systems for dynamic spectrum arbitrage
Conversion of 5-(chloromethyl)-2-furaldehyde into 5-methyl-2-furoic acid and derivatives thereof
Device and method for arranging vials
Antibodies to Clostridium difficile toxins
Method and apparatus for receiving signals in a MIMO system with multiple channel encoders
  Randomly Featured Patents
Reordering data using a series of offsets
Driving device for discharge lamp, light source device, projector, and driving method for discharge lamp
Masonry wall vent
Identification of friend from foe device
Plasma etch process for nonhomogenous film
Maternal supplement
Personal ocean security system
Clutch drive for power belt system
Virus resistant plants having antisense RNA
4-arylcyclopenta[c]pyrrole analgesics