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
People engine optimization
System and apparatus for control of published content
Dot templates for object detection in images
Cooler
Method and apparatus for interactive distribution of digital content
Obviation of recovery of data store consistency for application I/O errors
Ascertaining presentation format based on device primary control determination
  Randomly Featured Patents
Laser light generating device and method of fabricating the same
System and method for switching control modes of spindle motor
Human body supporting device
Separated waste collection system for multi-story building
Universal DSL link interface between a DSL digital controller and a DSL codec
Article support rack/stand
Masterbatch composition
Method and composition for treating psoriasis
Surface treatment tool
Ribbon cartridge construction