Pages that link to "Item:Q1309900"
From MaRDI portal
The following pages link to New methods for computing inferences in first order logic (Q1309900):
Displaying 5 items.
- Computing definite logic programs by partial instantiation (Q1326778) (← links)
- Partial instantiation methods for inference in first-order logic (Q1610676) (← links)
- Many-valued logic and mixed integer programming (Q1924752) (← links)
- Partition-based logical reasoning for first-order and propositional theories (Q2457688) (← links)
- Computer Science Logic (Q5292665) (← links)