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
Method and system for triggering message waiting indicator delivery
Image forming apparatus to automatically select a communication condition
Contactless electrical connector for an induction sensor, and sensor including such a connector
Digital watermark embedding apparatus, digital watermark embedding method, and digital watermark detection apparatus
Sample holder and method for treating sample material
Light fixture
SONOS stack with split nitride memory layer
  Randomly Featured Patents
Constant velocity joint of tripod type
Apparatus and method for non-contacting detection of respiration
Bottle
Deckplate
Screen positioning and squeegee drive means for screen printer
Methods for measurement and prediction of hold-time and exceeding hold time limits due to cells with tied input pins
Image display apparatus
Alkyl percarbonates
Diffusing acoustical crosstalk
Speaker