| 
|
Quote: implication in first-order logic can be replaced by unsatisfiability of sentences in clausal form
topics >
all references >
references i-l >
Topic:
logic
Topic:
logic programming
Quotation Skeleton
All questions concerning logical implication in first-order logic, … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: logic (84 items)
Topic: logic programming (34 items)