Metoda transformací logických formulí
Uloženo v:
Podrobná bibliografie
- Hlavní autor
- Typ dokumentu
- Knihy
- Fyzický popis
- 126 s.
- Vydáno
-
Praha :
Academia,
1989
- Vydání
- 1. vyd.
- Edice
- Studie ČSAV
- Bibliografie
- Obsahuje bibliografii
- ISBN
- 80-200-0107-7
- Navrhnout k digitalizaci
- Navrhnout k digitalizaci
MARC
| LEADER | 00000nam a22000002a 4500 | ||
|---|---|---|---|
| 001 | 000050173 | ||
| 003 | CZ BrMZK | ||
| 005 | 20060713132731.0 | ||
| 007 | ta | ||
| 008 | 951201s1989 xr f cze d | ||
| 015 | |a cnb000053153 | ||
| 020 | |a 80-200-0107-7 | ||
| 035 | |a (OCoLC)21677289 | ||
| 040 | |a BOA001 |b cze | ||
| 041 | 0 | |a cze |b eng |b rus | |
| 080 | |a 519.682:510.6 |2 MRF | ||
| 100 | 1 | |a Rott, Hilbert |4 aut | |
| 245 | 1 | 0 | |a Metoda transformací logických formulí / |c Hilbert Rott |
| 250 | |a 1. vyd. | ||
| 260 | |a Praha : |b Academia, |c 1989 | ||
| 300 | |a 126 s. | ||
| 490 | 1 | |a Studie ČSAV ; |v č. 13/1989 | |
| 504 | |a Obsahuje bibliografii | ||
| 546 | |a Anglické a ruské resumé | ||
| 830 | 0 | |a Studie ČSAV | |
| 910 | |a BOA001 |b PK-0111.073 |b TK-0242.033 |b 2-0948.243 | ||
| 920 | |a 000207578 | ||
| 964 | |a Výroky logické - transformace - programování | ||
| 990 | |a BK | ||
| 996 | 6 | |b 2619339742 |c 2-0948.243 |l MZK |r Sklad / do 1 hodiny |n 0 |w 000050173 |u 000030 |a 1 |e BOA001 |j MZK50 |s P |t BOA001.MZK01000050173.MZK50000050173000030 | |
| 996 | 7 | |b 2629993861 |c TK-0242.033 |l MZK |r Sklad / do 24 hodin |n 1 |w 000050173 |u 000020 |a 1 |e BOA001 |j MZK50 |s A |t BOA001.MZK01000050173.MZK50000050173000020 | |
| 996 | 7 | |b 3119979425 |c PK-0111.073 |l MZK |r Sklad / do 1 hodiny |n 4 |w 000050173 |u 000010 |a 1 |e BOA001 |j MZK50 |s A |t BOA001.MZK01000050173.MZK50000050173000010 | |