Finite model theory and its applications /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Grädel, Erich, 1958- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, 2007
Vydání:1st ed.
Edice:Texts in theoretical computer science
Témata:
LEADER 02648cam a22006497a 4500
001 MUB01000502813
003 CZ BrMU
005 20140401155133.0
008 070522s2007 gw ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2014-04-10 
020 |a 978-3-540-00428-8 
040 |a BOD018  |b cze  |d BOD004  |d BOD114 
072 7 |a 510  |x Obecné úvahy o matematice  |2 Konspekt  |9 13 
080 |a 004.94  |2 MRF 
080 |a 510.6  |2 MRF 
080 |a 510  |2 MRF 
245 0 0 |a Finite model theory and its applications /  |c Erich Grädel ... [et al.] 
250 |a 1st ed. 
260 |a Berlin :  |b Springer,  |c 2007 
300 |a xi, 437 s. 
490 1 |a Texts in theoretical computer science 
650 0 7 |a matematická logika  |7 ph122671  |2 czenas 
650 0 7 |a modelování a simulace  |7 ph125543  |2 czenas 
650 0 9 |a mathematical logic  |2 eczenas 
650 0 9 |a modeling and simulation  |2 eczenas 
700 1 |a Grädel, Erich,  |d 1958-  |7 xx0007242  |4 aut 
830 0 |a Texts in theoretical computer science 
CAT |a BISKUPOVA  |b 02  |c 20070522  |l MUB01  |h 0847 
CAT |a BISKUPOVA  |b 02  |c 20070522  |l MUB01  |h 0850 
CAT |a BISKUPOVA  |b 02  |c 20070522  |l MUB01  |h 0850 
CAT |a JANA  |b 02  |c 20070608  |l MUB01  |h 0735 
CAT |a BATCH-UPD  |b 02  |c 20080319  |l MUB01  |h 0636 
CAT |c 20080429  |l MUB01  |h 1813 
CAT |c 20080429  |l MUB01  |h 1827 
CAT |a BATCH-UPD  |b 02  |c 20091102  |l MUB01  |h 0601 
CAT |a BATCH-UPD  |b 02  |c 20091103  |l MUB01  |h 0124 
CAT |c 20091203  |l MUB01  |h 0147 
CAT |c 20091203  |l MUB01  |h 1830 
CAT |a BATCH-UPD  |b 00  |c 20091219  |l MUB01  |h 0735 
CAT |c 20101015  |l MUB01  |h 2305 
CAT |c 20101016  |l MUB01  |h 0329 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0059 
CAT |c 20120610  |l MUB01  |h 1849 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 0853 
CAT |a HANAV  |b 02  |c 20140401  |l MUB01  |h 1551 
CAT |c 20140410  |l MUB01  |h 1142 
CAT |c 20150404  |l MUB01  |h 0228 
CAT |a BATCH  |b 00  |c 20151225  |l MUB01  |h 2238 
CAT |c 20210614  |l MUB01  |h 0924 
CAT |c 20210614  |l MUB01  |h 1912 
LOW |a POSLANO DO SKCR  |b 2014-04-10 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 M355  |5 4200513127  |8 20070522  |f 74  |f Měsíční  |r 20070522 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 M355  |5 4200513141  |8 20070524  |f 74  |f Měsíční  |r 20070524 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 PRIF  |a Přírodovědecká fakulta  |2 PRFST  |b ÚK volný výběr  |3 519.124  |5 3145337047  |8 20070608  |f 77  |f Dlouhodobá  |g 2007-366  |q 20190605  |r 20070608  |s kup 
AVA |a SCI50  |b PRIF  |c ÚK volný výběr  |d 519.124  |e unavailable  |t Není k dispozici  |f 1  |g 1  |h N  |i 1  |j PRFST  |k 0 
AVA |a INF50  |b FI  |d M355  |e available  |t K dispozici  |f 2  |g 1  |h N  |i 6