The following pages link to (Q4938416):
Displayed 3 items.
- The evidence algorithm and problems of representation and processing of mathematical computer knowledge (Q1582906) (← links)
- Sequent forms of Herbrand theorem and their applications (Q2502163) (← links)
- Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\) (Q2577589) (← links)