EUDML | Statistical deducibility testing with stochastic parameters

Loading [MathJax]/extensions/MathZoom.js

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Displaying similar documents to “Statistical deducibility testing with stochastic parameters”

Statistical testing procedure for lengths of formalized proofs

Ivan Kramosil (1980)

Kybernetika

Similarity:

Statistical approach to proof theory

Ivan Kramosil (1979)

Kybernetika

Similarity:

Sequential statistical structures

H. Heckendorff (1980)

Banach Center Publications

Similarity: