Metoda transformací logických formulí
Uloženo v:
Podrobná bibliografie
- Hlavní autor
- Typ dokumentu
- Knihy
- Fyzický popis
- 126 s.
- Vydáno
-
Praha :
Academia,
1989
- Edice
- Studie ČSAV,
1989, 13
- Témata
- Popis jednotky
- Angl. a rus. souhrn
- Navrhnout k digitalizaci
- Je možné požádat o digitalizaci tohoto dokumentu z fondu jiné knihovny:
Jednotky
Nápověda
Pro vytváření rezervací/objednávek je třeba se přihlásit.
| Dostupnost | Stav | Oddělení | Sbírka | Umístění | Více informací | Poznámka | Signatura | |
|---|---|---|---|---|---|---|---|---|
|
Prezenčně
|
Načítá se…
|
Knihovna AV ČR - Národní
|
Depozitář / do 30 minut
|
1989, č. 13 | PE 5536 | |||
|
Prezenčně
|
Načítá se…
|
Knihovna AV ČR - Jenštejn
|
Depozitář / do 2 prac. dnů
|
1989, č. 13 | PE 5537 |