Mechanizing hypothesis formation: mathematical foundations for a general theory

Detalles Bibliográficos
Autores principales: Hájek, Petr, Havránek, Tomáš
Lenguaje:eng
Publicado: Springer 1978
Materias:
Mathematical Physics and Mathematics
Acceso en línea:https://dx.doi.org/10.1007/978-3-642-66943-9
http://cds.cern.ch/record/1617910
_version_ 1780932827641020416
author Hájek, Petr
Havránek, Tomáš
author_facet Hájek, Petr
Havránek, Tomáš
author_sort Hájek, Petr
collection CERN
id cern-1617910
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 1978
publisher Springer
record_format invenio
spelling cern-16179102021-04-21T22:00:33Zdoi:10.1007/978-3-642-66943-9http://cds.cern.ch/record/1617910engHájek, PetrHavránek, TomášMechanizing hypothesis formation: mathematical foundations for a general theoryMathematical Physics and MathematicsSpringeroai:cds.cern.ch:16179101978
spellingShingle Mathematical Physics and Mathematics
Hájek, Petr
Havránek, Tomáš
Mechanizing hypothesis formation: mathematical foundations for a general theory
title Mechanizing hypothesis formation: mathematical foundations for a general theory
title_full Mechanizing hypothesis formation: mathematical foundations for a general theory
title_fullStr Mechanizing hypothesis formation: mathematical foundations for a general theory
title_full_unstemmed Mechanizing hypothesis formation: mathematical foundations for a general theory
title_short Mechanizing hypothesis formation: mathematical foundations for a general theory
title_sort mechanizing hypothesis formation: mathematical foundations for a general theory
topic Mathematical Physics and Mathematics
url https://dx.doi.org/10.1007/978-3-642-66943-9
http://cds.cern.ch/record/1617910
work_keys_str_mv AT hajekpetr mechanizinghypothesisformationmathematicalfoundationsforageneraltheory
AT havranektomas mechanizinghypothesisformationmathematicalfoundationsforageneraltheory

Ejemplares similares