Statistický odhad délky formalizovaných důkazů na základě statistického testu dokazatelnosti /
| Hlavní autor: | |
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: |
čeština |
| Vydavatel: |
Praha :
ÚTIA ČSAV,
1978.
|
| Edice: |
Research Report ;
863 |
|
|