Pages that link to "Item:Q1922342"
From MaRDI portal
The following pages link to Problem-oriented theorem-proving method in fuzzy logic (PO-method) (Q1922342):
Displaying 4 items.
- Linear resolution for consequence finding (Q1199916) (← links)
- Decomposition of linguistic-logical decision models in distributed computing environments (Q1264606) (← links)
- A new fuzzy resolution principle based on the antonym (Q1568493) (← links)
- Proof of theorems in fuzzy logic based on structural resolution (Q2320255) (← links)