Resources Contact Us Home
Browse by: INVENTOR PATENT HOLDER PATENT NUMBER DATE
 
 
Compumine AB Patents
Assignee:
Compumine AB
Address:
Uppsala, SE
No. of patents:
1
Patents:












Patent Number Title Of Patent Date Issued
7379941 Method for efficiently checking coverage of rules derived from a logical theory May 27, 2008
The method is used in a computer and includes the steps of providing a logical theory that has clauses. A rule is generated that is a resolvent of clauses in the logical theory. An example is retrieved. A proof tree is generated from the example using the logical theory. The proof tree i

 
 
  Recently Added Patents
Optical angular position detection apparatus and method
Variety corn line NPAA2720
Detecting mirrors on the web
Process for preparing substituted aromatic carboxylic acids
Carbonyl-ene functionalized polyolefins
Semiconductor memory device and method for driving the same
Soybean cultivar CL0911444
  Randomly Featured Patents
Peptide medicaments for the treatment of disease
Frankfurter roasting stick
Separation charger control for electro-photographic apparatus
Ice fishing rig
Process for the production of branched fatty acids and esters thereof
Hull for ski-boots
Automated fuel management system, components therefor, and methods of making the same
Apparatus for high speed image rotation
Cat-shaped child's trolley toy
Wireless X-ray detector for a digital radiography system with remote X-ray event detection