The following pages link to LIPSAT (Q40347):
Displaying 5 items.
- Rota's Fubini lectures: the first problem (Q2020017) (← links)
- Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics (Q2209555) (← links)
- An efficient algorithm for representing piecewise linear functions into logic (Q2229157) (← links)
- Deciding Koopman's qualitative probability (Q2238703) (← links)
- Quantitative Logic Reasoning (Q3305344) (← links)