| 
|
Quote: resolution may be the first complete system of first-order logic using just one inference principle
Topic:
logic
Topic:
logic programming
Quotation Skeleton
(as far as the author is aware) no … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: logic (84 items)
Topic: logic programming (34 items)