Pages that link to "Item:Q833733"
From MaRDI portal
The following pages link to Equivalence issues in abduction and induction (Q833733):
Displaying 6 items.
- Inductive equivalence in clausal logic and nonmonotonic logic programming (Q413854) (← links)
- Abductive Equivalence in First-order Logic (Q3411859) (← links)
- (Q4934323) (← links)
- Natural Deduction for Equality: The Missing Entity (Q5251187) (← links)
- (Q5688896) (← links)
- Abduction and induction. Essays on their relation and integration (Q5956943) (← links)