Transparentní dedukční pravidla pro GUHA procedury

Bibliographic Details
Main Author: Chrz, Martin
Other Authors: Rauch, Jan
Format: Dissertation
Language:Czech
Published: 2007
Online Access:http://www.nusl.cz/ntk/nusl-289619
id ndltd-nusl.cz-oai-invenio.nusl.cz-289619
record_format oai_dc
spelling ndltd-nusl.cz-oai-invenio.nusl.cz-2896192017-06-27T04:41:33Z Transparentní dedukční pravidla pro GUHA procedury Transparent deduction rules for GUHA procedures Chrz, Martin Rauch, Jan Holeňa, Martin 2007 info:eu-repo/semantics/masterThesis http://www.nusl.cz/ntk/nusl-289619 cze info:eu-repo/semantics/restrictedAccess
collection NDLTD
language Czech
format Dissertation
sources NDLTD
author2 Rauch, Jan
author_facet Rauch, Jan
Chrz, Martin
author Chrz, Martin
spellingShingle Chrz, Martin
Transparentní dedukční pravidla pro GUHA procedury
author_sort Chrz, Martin
title Transparentní dedukční pravidla pro GUHA procedury
title_short Transparentní dedukční pravidla pro GUHA procedury
title_full Transparentní dedukční pravidla pro GUHA procedury
title_fullStr Transparentní dedukční pravidla pro GUHA procedury
title_full_unstemmed Transparentní dedukční pravidla pro GUHA procedury
title_sort transparentní dedukční pravidla pro guha procedury
publishDate 2007
url http://www.nusl.cz/ntk/nusl-289619
work_keys_str_mv AT chrzmartin transparentnidedukcnipravidlaproguhaprocedury
AT chrzmartin transparentdeductionrulesforguhaprocedures
_version_ 1718469883103019008