Mechanizing Hypothesis Formation 4YT686NP6W
| URI | m2://res/4YT686NP6W |
|---|---|
| Kind | monograph |
| Creators | Petr Hájek, Tomáš Havránek |
| Date | 1978 |
| MSC | 03-02, 03A05, 03B99, 68T10, 68-02, 68W99, 62A01, 62-02 |
| Scope | in |
Expressions
e1: edition
| Language | en |
|---|---|
| Date | 1978 |
| Ids | DOI 10.1007/978-3-642-66943-9, zbl 0371.02002, zbl_id 3577182 |
- m1: print, Springer Berlin Heidelberg, 1978 (record). isbn 9783540087380, isbn 9783642669439
Relations
- part_of Universitext
Catalogue records
- springer-series: 10.1007/978-3-642-66943-9 (work)
- zbmath_search: 3577182 (work)