*RETROKATALOGIZACE - ZKRÁCENÝ ZÁZNAM*
Metoda transformací logických formulí.  Praha : Academia, 1989. 126 s.. ISBN 80-200-0107-7- C 265.282
Umístění: