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
Image coding apparatus and image decoding apparatus
Stock analysis method, computer program product, and computer-readable recording medium
Biodegradable aliphatic-aromatic copolyester for use in nonwoven webs
Methods, systems, and products for providing ring backs
Integrated circuits with magnetic core inductors and methods of fabrications thereof
State control of remote hosts for management of distributed applications
Image capturing apparatus, control method thereof, and program
  Randomly Featured Patents
Mobile phone
Coordination of backhaul beam forming in wireless communication systems
Device for firing an electric detonator
Method and apparatus for frozen dessert dispensing
Reinforced wrist brace with gang connected multiple straps
2-Substituted-aminopropene-and propanenitrile antimicrobial and anti-inflammatory agents
Total internal reflection holographic microscope
Increased sensitivity optical keyboard
Transition metal compound, catalyst component for olefin polymerization, catalyst for olefin polymerization, and process for producing olefinic polymer
Polymer electrolyte fuel cell device