The following pages link to (Q3124542):
Displaying 5 items.
- Proof verification and proof discovery for relativity (Q514557) (← links)
- The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself (Q959049) (← links)
- In search of valid results in a complex economic environment: The potential of meta-analysis and value transfer (Q1595440) (← links)
- The intrinsic difficulty of recursive functions (Q1919986) (← links)
- MODES OF CONVERGENCE TO THE TRUTH: STEPS TOWARD A BETTER EPISTEMOLOGY OF INDUCTION (Q5078810) (← links)
