Statistical testing procedure for lengths of formalized proofs
Ivan Kramosil (1980)
Kybernetika
Similarity:
Displaying similar documents to “Statistical theory of logical derivability”
Statistical testing procedure for lengths of formalized proofs
Statistical approach to proof theory
Ivan Kramosil (1979)
Kybernetika
Similarity:
Statistical deducibility testing with stochastic parameters
Ivan Kramosil, Jan Šindelář (1978)
Kybernetika
Similarity: