Mechanizing Hypothesis Formation (Q5978436)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

academic book (1978)
Language Label Description Also known as
default for all languages
No label defined
    English
    Mechanizing Hypothesis Formation
    academic book (1978)

      Statements

      0 references
      1978
      0 references
      Petr Hájek
      0 references
      Tomáš Havránek
      0 references

      Identifiers