Mechanizing hypothesis formation
Saved in:
| 主要作者: | |
|---|---|
| 其他作者: | |
| 格式: | 图书 |
| 语言: | 英语 |
| 出版: |
1978
|
| 标签: |
没有标签, 成为第一个标记此记录!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LDR | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 824026 | ||
| 007 | tu | ||
| 041 | |a eng | ||
| 100 | 1 | |a Havránek, Tomáš | |
| 245 | 1 | 0 | |a Mechanizing hypothesis formation |
| 246 | 3 | |a HAVRÁNEK, Tomáš: | |
| 264 | 1 | |c 1978 | |
| 500 | |a HAVRÁNEK, Tomáš: -- Mechanizing hypothesis formation.1978. -- s. HÁJEK, Petr. | ||
| 700 | 1 | |a Hájek, Petr | |
| 852 | |c 419.883 | ||
| 999 | |a Monographie |