Issledovanija po formalizovannym jazykam i naklassičeskim logikam /

Uloženo v:
Podrobná bibliografie
Typ dokumentu: Kniha
Jazyk:Ruština
Vydáno: Moskva : Nauka, 1974.
Témata:
Obálka
LEADER 01855nam a22004577a 4500
001 MUB01000548733
003 CZ BrMU
005 20080506120219.0
008 080506s1974 ru ||||| |||||||||||rusod
STA |a POSLANO DO SKCR  |b 2017-05-09 
040 |a BOD004  |b cze 
072 7 |a 519.1/.8  |x Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování  |2 Konspekt  |9 13 
080 |a 519.76  |2 MRF 
080 |a 510.6  |2 MRF 
080 |a 519  |2 MRF 
245 0 0 |a Issledovanija po formalizovannym jazykam i naklassičeskim logikam /  |c otvetstvennyj redaktor D.A. Bočvar. 
260 |a Moskva :  |b Nauka,  |c 1974. 
300 |a 274 s. 
650 0 7 |a matematická lingvistika  |7 ph122670  |2 czenas 
650 0 7 |a matematická logika  |7 ph122671  |2 czenas 
650 0 9 |a mathematical linguistics  |2 eczenas 
650 0 9 |a mathematical logic  |2 eczenas 
700 1 |a Bočvar, D. A.  |4 red 
CAT |a ZITTERBART  |b 02  |c 20080506  |l MUB01  |h 1202 
CAT |a BATCH-UPD  |b 02  |c 20091102  |l MUB01  |h 0643 
CAT |a BATCH-UPD  |b 02  |c 20091103  |l MUB01  |h 0147 
CAT |c 20091203  |l MUB01  |h 0210 
CAT |c 20091203  |l MUB01  |h 1853 
CAT |a BATCH-UPD  |b 00  |c 20091219  |l MUB01  |h 0754 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0113 
CAT |c 20120610  |l MUB01  |h 1922 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 1002 
CAT |a BATCH  |b 00  |c 20151225  |l MUB01  |h 2329 
CAT |c 20161008  |l MUB01  |h 2236 
CAT |c 20170509  |l MUB01  |h 0935 
CAT |c 20210614  |l MUB01  |h 0931 
CAT |c 20210614  |l MUB01  |h 1920 
LOW |a POSLANO DO SKCR  |b 2017-05-09 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 PRIF  |a Přírodovědecká fakulta  |2 PRFSK  |b ÚK sklad  |3 I-26042  |5 3145098061  |4 PČ: 824-75, DPČ: 55-75, matematika  |8 20080506  |f 75  |f Měsíční SKLAD  |q 20180605  |r 00000001 
AVA |a SCI50  |b PRIF  |c ÚK sklad  |d I-26042  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0  |j PRFSK