한국   대만   중국   일본 
Mark D. Aagaard Patents
The Wayback Machine - https://web.archive.org/web/20130118001521/http://www.patentgenius.com/inventedby/AagaardMarkDWaterlooCA.html
 
 
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
Condensing tube and filtration module thereof
Method and system for crowd segmentation
Gas spring end member
License management system and authentication method for the same
Television remote control update upon event
Systems and methods for compensating for pressure drop in a breathing assistance system
Counterbore bit
  Randomly Featured Patents
Zooming optical system and electronic image pickup apparatus using the same
Gear reducer having symmetrically disposed rotational shaft supports and method for making same
Support of displacement-detection device, sensor support assembly and displacement-detection device
Method for desulfurization of an NOx storage accumulator-catalyst arranged in an exhaust system of an internal combustion engine
Image forming process by color intensification
Neutrokine-alpha fusion proteins
Reagent cup holder
Dinner plate
Electrical connector assembly
Combined vacuum valve and vacuum indicator
© 2006-2011. PatentGenius.com All Rights Reserved.