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
Liquid-filled protein-phosphatidic acid capsule dispersions
Web-based system and method for video analysis
Beverage container lid
Digital display
Method and apparatus for representing sensory effects and computer readable recording medium storing user sensory preference metadata
Charged particle cancer therapy beam path control method and apparatus
System and method for data reconfiguration in an optical communication network
  Randomly Featured Patents
Hand held grinder/sander
Floral wrapping material
Method of producing urea-formaldehyde resin and foam having reduced formaldehyde emission
Method and apparatus for providing policy-based document control
Pneumatic tool lock
Page finder apparatus and method
Air control device for internal combustion engine
Shoulder belt adjustment device for seat belt systems
Adjustable stanchion
Cassette tape recording and/or reproducing apparatus