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
PMI feedback with codebook interpolation
Chromene compound
Ventilated vacuum commutation structure
Determination and presentation of package pricing offers in response to customer interest in a product
Disk drive with a subset of sectors with reduced write-to-read gap
Modified and stabilized GDF propeptides and uses thereof
Method and system for automatic 3-D image creation
  Randomly Featured Patents
Playback apparatus, playback method, and program for the same
Device for measuring grip strength
Portable computer
Style sheet generation
Reversible ratchet wrench and reversible ratchet mechanism thereof
Renewable energy microgeneration system
Ophthalmic and otorhinolaryngological device materials
Systems and methods for tracking the reliability of communications networks
Device for producing a hardenable mass
Faucet handle