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
Antibody recognizing turn structure in amyloid .beta.
Cell transport system comprising a homogeneous mixture of agarose and agarase
Antimony and germanium complexes useful for CVD/ALD of metal thin films
Apparatus and method for exerting force on a subject tissue
Semiconductor memory device and manufacturing method thereof
Imaging apparatus having selection unit to select focus detection areas
Registration and network access control
  Randomly Featured Patents
Apparatus for decoding and providing the decoded addresses to industry standard PCMCIA card through the data lines of the parallel port
Piperazine based cytofectins
Package structure of inverter apparatus and method of manufacturing the same
Semiconductor device having silicon-diffused metal wiring layer and its manufacturing method
PROCESS FOR THE DETERMINATION OF PEPTIDES CORRESPONDING TO IMMUNOLOGICALLY IMPORTANT EPITOPES AND THEIR USE IN A PROCESS FOR DETERMINATION OF ANTIBODIES OR BIOTINYLATED PEPTIDES CORRESPONDING
Portable shampoo and scalp treatment unit
Image enhancer
Smart card holder
Two-way conveyor
System and method for curing composite material