Parallel probabilistic searching and sorting algorithms
Ivan Kramosil (1990)
Kybernetika
Similarity:
Displaying similar documents to “Statistical approach to proof theory”
Parallel probabilistic searching and sorting algorithms
A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula
Ivan Kramosil (1973)
Kybernetika
Similarity:
Approximations of believability functions under incomplete identification of sets of compatible states
Ivan Kramosil (1995)
Kybernetika
Similarity: