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
Process for preparing higher hydridosilanes
High voltage fast recovery trench diode
Categorizing bit errors of solid-state, non-volatile memory
Non-phosphorus-based gellant for hydrocarbon fluids
Lentiviral gene transfer vectors and their medicinal applications
Lubricant composition and antioxident composition
Image processing apparatus capable of using replacement component, image forming apparatus capable of using replacement component, and method of administrating replacement component
  Randomly Featured Patents
Polymeric containers with handle
Light-emitting diode
Hardened bearing surface and method of forming same
Fire extinguishing mixtures, methods and systems
Tool equipped with a percussive device
Method of producing lightweight cement blocks
Biodegradable bag
Bobbin transfer system
Computer generated image for a display panel or screen
Integrated child seat for an automobile seat