Statistical testing procedure for lengths of formalized proofs
Ivan Kramosil (1980)
Kybernetika
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Ivan Kramosil (1980)
Kybernetika
Similarity:
Ivan Kramosil (1979)
Kybernetika
Similarity:
H. Heckendorff (1980)
Banach Center Publications
Similarity: