Export byl úspěšný — 

Automatyczne dowodzenie twierdzeń /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Pawlak, Zdzisław, 1926-2006 (Autor)
Typ dokumentu: Kniha
Jazyk:Polština
Vydáno: Warszawa : Państwowe Zakłady Wydawnictw Szkolnych, 1965.
Vydání:Wyd. 1.
Edice:Biblioteczka matematyczna PZWS i czasopisma "Matematyka"
Témata:
Obálka
LEADER 01992nam a22004937a 4500
001 MUB01000597627
003 CZ BrMU
005 20090915094135.0
008 090915s1965 pl ||||| |||||||||||pol d
STA |a POSLANO DO SKCR  |b 2018-12-10 
040 |a BOD004  |b cze 
072 7 |a 004  |x Počítačová věda. Výpočetní technika. Informační technologie  |2 Konspekt  |9 23 
080 |a 004.38  |2 MRF 
080 |a 004  |2 MRF 
100 1 |a Pawlak, Zdzisław,  |d 1926-2006  |7 xx0034717  |4 aut 
245 1 0 |a Automatyczne dowodzenie twierdzeń /  |c Zdzisław Pawlak. 
250 |a Wyd. 1. 
260 |a Warszawa :  |b Państwowe Zakłady Wydawnictw Szkolnych,  |c 1965. 
300 |a 147 s. 
490 1 |a Biblioteczka matematyczna PZWS i czasopisma "Matematyka" 
650 0 7 |a počítače  |7 ph115859  |2 czenas 
650 0 7 |a výpočetní technika  |7 ph137273  |2 czenas 
650 0 9 |a computers  |2 eczenas 
650 0 9 |a computer technology  |2 eczenas 
830 0 |a Biblioteczka matematyczna PZWS i czasopisma "Matematyka" 
CAT |a ZITTERBART  |b 02  |c 20090915  |l MUB01  |h 0941 
CAT |a BATCH-UPD  |b 02  |c 20091102  |l MUB01  |h 0722 
CAT |a BATCH-UPD  |b 02  |c 20091103  |l MUB01  |h 0216 
CAT |c 20091203  |l MUB01  |h 0237 
CAT |c 20091203  |l MUB01  |h 1920 
CAT |a BATCH-UPD  |b 00  |c 20091219  |l MUB01  |h 0821 
CAT |a BATCH-UPD  |b 00  |c 20100501  |l MUB01  |h 1220 
CAT |c 20101015  |l MUB01  |h 2333 
CAT |c 20101016  |l MUB01  |h 0403 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0129 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 1124 
CAT |a BATCH  |b 00  |c 20151226  |l MUB01  |h 0033 
CAT |c 20181210  |l MUB01  |h 1136 
CAT |c 20210614  |l MUB01  |h 0941 
CAT |c 20210614  |l MUB01  |h 1930 
LOW |a POSLANO DO SKCR  |b 2018-12-10 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 PRIF  |a Přírodovědecká fakulta  |2 PRFSK  |b ÚK sklad  |3 I-22736  |5 3145125733  |4 PČ: 5779-66, DPČ: 483-66, matematika  |8 20090915  |f 71  |f Prezenční SKLAD  |q 20180530 
AVA |a SCI50  |b PRIF  |c ÚK sklad  |d I-22736  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0  |j PRFSK