Pages that link to "Item:Q1354049"
From MaRDI portal
The following pages link to The application of automated reasoning to questions in mathematics and logic (Q1354049):
Displaying 5 items.
- Problem corner: Robbins algebra: Conditions that make a near-Boolean algebra Boolean (Q751313) (← links)
- An application of automated reasoning in natural language question answering (Q3568232) (← links)
- The Logical Structure of Computer-Aided Mathematical Reasoning (Q4373335) (← links)
- Mechanizing Mathematical Reasoning (Q5717441) (← links)
- Automated reasoning contributes to mathematics and logic (Q6488553) (← links)