Počet záznamů: 1
Metoda transformací logických formulí
kniha
Rott, Hilbert - Autor
Vyd. 1. - Praha : Academia, 1989 - 126 s.
ISBN 80-200-0107-7Signatura C 265.282 Umístění Info *RETROKATALOGIZACE - ZKRÁCENÝ ZÁZNAM* Údaje o názvu Metoda transformací logických formulí Záhlaví-jméno Rott, Hilbert (Autor) Údaje o vydání Vyd. 1. Vyd.údaje Praha : Academia, 1989 Fyz.popis 126 s. ISBN 80-200-0107-7 Číslo nár. bibl. cnb000053153 Země vyd. Česko Jazyk dok. čeština Druh dok. KNIHY Načítání…
Počet záznamů: 1