Mechanizing hypothesis formation. Mathematical foundations for a general theory.
में बचाया:
| मुख्य लेखक: | |
|---|---|
| अन्य लेखक: | |
| स्वरूप: | पुस्तक |
| भाषा: | अंग्रेज़ी |
| प्रकाशित: |
Berlin, Heidelberg, New York
Springer
1978
|
| श्रृंखला: | Universitext
|
| टैग: |
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 807504 | ||
| 007 | tu | ||
| 041 | |a eng | ||
| 100 | 1 | |a Hájek, Petr | |
| 245 | 1 | 0 | |a Mechanizing hypothesis formation. |b Mathematical foundations for a general theory. |
| 246 | 3 | |a HÁJEK,P(etr).- | |
| 264 | 1 | |a Berlin, Heidelberg, New York |b Springer |c 1978 | |
| 300 | |a XV, 396 S. |b m.Abb. |c 8° | ||
| 490 | 0 | |a Universitext | |
| 500 | |a HÁJEK,P(etr).- -- P.Hájek.T(omáš) Havránek.Mechanizing -- hypothesis formation.Mathematical foun- -- dations for a general theory. - Berlin, -- Heidelberg,New York:Springer 1978. XV, -- 396 S.m.Abb. 8° -- (Universitext.) -- 1978:5453. -- De. | ||
| 700 | 1 | |a Havránek, Tomáš | |
| 852 | |c 419.883 | ||
| 999 | |a Monographie | ||
| 591 | |a description: P.Hajek.T omas Havranek.Mechanizinghypothesis formai?i8fi.Mathematical faundations for a general theory. Berlin,Heidelfeerg,New York:Springer 1978. XV,396 S.m.Abb. 8 Universitext. 1978:5453. De. |a signature: 419883 |a author: HAJEK, Petr . |a published: 1978 |a title: 1978 | ||