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