Metoda transformací logických formulí

Uloženo v:

Hlavní autor

Hilbert Rott

Typ dokumentu

Knihy

Fyzický popis

126 s.

Vydáno

Praha : Academia, 1989

Edice

Studie ČSAV, 1989, 13

Témata

logika

formule logické

transformace

matematika

metody

Popis jednotky

Angl. a rus. souhrn

Navrhnout k digitalizaci

Je možné požádat o digitalizaci tohoto dokumentu z fondu jiné knihovny:

MARC


LEADER	00000nam 2200000 a 4500
001	000598347
003	CZ PrAS
005	20080729170555.0
008	951203s1989 xr \|\|\| \|\|cze d
040			\|a ABA007 \|b cze
041	0		\|a cze
044			\|a xr
100	1		\|a Rott, Hilbert \|4 aut
245	1	0	\|a Metoda transformací logických formulí / \|c Hilbert Rott
260			\|a Praha : \|b Academia, \|c 1989
300			\|a 126 s.
440		0	\|a Studie ČSAV, \|x 0577-3652 ; \|v 1989, 13
500			\|a Angl. a rus. souhrn
653	0		\|a logika
653	0		\|a formule logické
653	0		\|a transformace
653	0		\|a matematika
653	0		\|a metody
990			\|a BK
994			\|a ANA \|b 000597492 \|l KNA01 \|m Metoda transformací logických formulí \|n Studie ČSAV \|i 13 \|y 1989
996	6		\|b 26008904921 \|c PE 5536 \|d 1989, č. 13 \|v - \|i 13 \|y 1989 \|l Knihovna AV ČR - Národní \|m KNAV \|r Depozitář / do 30 minut \|n 0 \|w 000597492 \|u 003500 \|k 19500101 \|e ABA007 \|a 1 \|s P \|j KNA50 \|t ABA007.KNA01000598347.KNA50000597492003500
996	6		\|b 26008908798 \|c PE 5537 \|d 1989, č. 13 \|v - \|i 13 \|y 1989 \|l Knihovna AV ČR - Jenštejn \|m KNAVD \|r Depozitář / do 2 prac. dnů \|n 0 \|w 000597492 \|u 007370 \|k 19500101 \|e ABA007 \|a 48 \|s P \|j KNA50 \|t ABA007.KNA01000598347.KNA50000597492007370
910			\|a ABA007