Počet záznamov: 1  

Metoda transformací logických formulí

  1. SYS0016154
    LBL
      
    00000nam--2200000-a-4500
    003
      
    SK-NiSPK
    005
      
    20220714082900.7
    007
      
    ta
    008
      
    070308s1989----xr-----e------000-0-cze-d
    020
      
    $a 80-200-0107-7
    040
      
    $a NI001 $b slo
    041
    0-
    $a cze
    044
      
    $a xr $c CZ
    100
    1-
    $7 spu_us_auth*0144813 $a Rott, Hilbert $4 aut
    245
    10
    $a Metoda transformací logických formulí / $c Hilbert Rott
    250
      
    $a 1. vyd.
    260
      
    $a Praha : $b Academia, $c 1989
    300
      
    $a 126 s. : $b 101 obr. Res. ruské a anglické
    490
    0-
    $a Studie ČSAV, č. 13
    653
    1-
    $a logika $9 spu_us_auth*0043361
    830
    -0
    $7 spu_us_auth*0101710 $a Studie ČSAV, č. 13

Počet záznamov: 1  

  Tieto stránky využívajú súbory cookies, ktoré uľahčujú ich prezeranie. Ďalšie informácie o tom ako používame cookies.