Abstract: The paper provides a new approach for automated reasoning in a logic program using extended Petri net models. The design includes extension of classical linear resolution of first order ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results