P. Hájek, T. Havránek: Mechanizing hypothesis formation (Mathematical foundations for a general theory) /
| Typ dokumentu: | Článek |
|---|---|
| Jazyk: |
čeština |
| ISSN: | 0373-6725 |
| Zdroj: | Aplikace matematiky: Volume 25, issue 3 (1980), page 232-233. |
| Předmět: | |
| Související jednotky: | |
| Externí odkaz: |
Plný text
|