The following pages link to (Q4099559):
Displaying 4 items.
- Logic of paradox revisited (Q795814) (← links)
- Type inference for polymorphic references (Q918190) (← links)
- Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation (Q2407885) (← links)
- Mathematical applications of inductive logic programming (Q2433178) (← links)
