Pages that link to "Item:Q1830453"
From MaRDI portal
The following pages link to Recherches sur la théorie de la démonstration. (Q1830453):
Displaying 4 items.
- On a paradox of Hilbert and Bernays (Q676182) (← links)
- Pegasus: a framework for sound continuous invariant generation (Q6535946) (← links)
- \textit{Grundlagen der arithmetik}, {\S}17. I: Frege's anticipation of the deduction theorem (Q6612865) (← links)
- Invariant neural architecture for learning term synthesis in instantiation proving (Q6650564) (← links)
