Statistical approach to proof theory
Ivan Kramosil (1979)
Kybernetika
Similarity:
Ivan Kramosil (1979)
Kybernetika
Similarity:
Ivan Kramosil (1972)
Kybernetika
Similarity:
Ivan Kramosil, Jan Šindelář (1978)
Kybernetika
Similarity:
Ivan Kramosil (1990)
Kybernetika
Similarity: