| 
|
Quote: can create a useful inference system from only resolution; like, matching procedure definitions to procedure calls
topics >
all references >
references i-l >
Topic:
logic programming
Quotation Skeleton
Useful inference systems for demonstrating the unsatisfiability of … rule called resolution" (resolution by matching procedure definition … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: logic programming (34 items)