Pages that link to "Item:Q1810920"
From MaRDI portal
The following pages link to Automated deduction techniques for the management of personalized documents (Q1810920):
Displaying 4 items.
- A survey on retrieval of mathematical knowledge (Q2364882) (← links)
- Automated deduction techniques for the management of personalized documents. (Extended abstract) (Q2767917) (← links)
- How to Produce Information About a Given Entity Using Automated Deduction Methods (Q5170287) (← links)
- Mechanizing Mathematical Reasoning (Q5717443) (← links)