Pages that link to "Item:Q6488553"
From MaRDI portal
The following pages link to Automated reasoning contributes to mathematics and logic (Q6488553):
Displaying 11 items.
- A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains (Q759491) (← links)
- The application of automated reasoning to questions in mathematics and logic (Q1354049) (← links)
- A uniform procedure for converting matrix proofs into sequent-style systems (Q1854382) (← links)
- Automated deduction in equational logic and cubic curves (Q1919221) (← links)
- Learning from Łukasiewicz and Meredith: investigations into proof structures (Q2055843) (← links)
- (Q3289367) (← links)
- T-string unification: Unifying prefixes in non-classical proof methods (Q4645241) (← links)
- Evolving combinators (Q5234723) (← links)
- Mechanizing Mathematical Reasoning (Q5717441) (← links)
- Lemmas: generation, selection, application (Q6541149) (← links)
- Investigations into proof structures (Q6653096) (← links)