Počet záznamov: 1
Metoda transformací logických formulí
SYS 0016154 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