Patent Assignment
Reel/Frame 020747/0016
Assignment of Assignor's Interest
Recorded: 2008-04-03
Pages: 3
Assignor
BOSTROM, HENRIK
Executed: 2008-04-02
Assignee
COMPUMINE AB
HAGUNDAGATAN 9, 752 38 UPPSALA, SWEDEN
Covered Property
(1)
Method for Efficiently Checking Coverage of Rules Derived from a Logical Theory