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
Low-complexity motion vector prediction systems and methods
Wire guide
Statistical information collection from one or more device(s) in storage communication with a computing platform
TV wall mount
Recording apparatus, recording method, reproducing apparatus, reproducing method, program, and recording/producing apparatus
Managing method and apparatus for servicing contents provided by content provider
Method of bonding metallic members, and metallic bonded body
  Randomly Featured Patents
Low cost substrates and method of forming such substrates
Vaginal speculum
Method for the continuous production of organopolysiloxane gum solution
Swimmer arrival signal panels incorporated in a swimming pool bulkhead
Airbag device
Image forming apparatus
Pretreatment method for improving antioxidation of steel T91/P91 in high temperature water vapor
Image forming apparatus and management system utilizing counter and job log information for usage tracking
Method of manufacturing a chemically adsorbed film
Applicator for supplying radio-frequency energy to and from an object