Graph structure and monadic second-order logic : a language-theoretic approach /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Courcelle, Bruno (Autor), Engelfriet, Joost (Autor)
Další autoři: Nivat, Maurice, 1937-2017 (Autor úvodu atd.)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Cambridge : Cambridge University Press, 2012
Edice:Encyclopedia of mathematics and its applications ; 138
Témata:
matematická logika
matematika
mathematical logic
mathematics
monografie
monographs
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 02221nam a22005537a 4500
001 MUB01000728802
003 CZ BrMU
005 20201020130706.0
008 120912s2012 xxk||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2020-05-07 
020 |a 978-0-521-89833-1  |q (hardback) 
040 |a BOD018  |b cze 
072 7 |a 51  |x Matematika  |2 Konspekt  |9 13 
080 |a 51  |2 MRF 
080 |a 510.6  |2 MRF 
100 1 |a Courcelle, Bruno  |7 xx0201602  |4 aut 
245 1 0 |a Graph structure and monadic second-order logic :  |b a language-theoretic approach /  |c Bruno Courcelle, Joost Engelfriet ; [foreword by Maurice Nivat] 
260 |a Cambridge :  |b Cambridge University Press,  |c 2012 
300 |a xiv, 728 s. 
490 1 |a Encyclopedia of mathematics and its applications ;  |v 138 
650 0 7 |a matematická logika  |7 ph122671  |2 czenas 
650 0 7 |a matematika  |7 ph117231  |2 czenas 
650 0 9 |a mathematical logic  |2 eczenas 
650 0 9 |a mathematics  |2 eczenas 
655 7 |a monografie  |7 fd132842  |2 czenas 
655 9 |a monographs  |2 eczenas 
700 1 |a Engelfriet, Joost  |7 xx0201603  |4 aut 
700 1 |a Nivat, Maurice,  |d 1937-2017  |7 vut2011652050  |4 aui 
830 0 |a Encyclopedia of mathematics and its applications ;  |v 138 
CAT |a KOVAROVA  |b 02  |c 20120912  |l MUB01  |h 0854 
CAT |a KREKOVA  |b 02  |c 20120926  |l MUB01  |h 1557 
CAT |a KREKOVA  |b 02  |c 20120927  |l MUB01  |h 0932 
CAT |a KREKOVA  |b 02  |c 20120927  |l MUB01  |h 0933 
CAT |a BATCH  |b 00  |c 20130304  |l MUB01  |h 1447 
CAT |c 20150404  |l MUB01  |h 0727 
CAT |c 20150703  |l MUB01  |h 1209 
CAT |a BATCH  |b 00  |c 20151226  |l MUB01  |h 0252 
CAT |a SIMCIKOVAX  |b 02  |c 20170318  |l MUB01  |h 1155 
CAT |a VESELA  |b 02  |c 20200109  |l MUB01  |h 1358 
CAT |c 20200507  |l MUB01  |h 1120 
CAT |a VASICEKX  |b 02  |c 20201020  |l MUB01  |h 1307 
CAT |c 20210614  |l MUB01  |h 1000 
CAT |c 20210614  |l MUB01  |h 1949 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1216 
CAT |a BATCH-UPD  |b 00  |c 20260107  |l MUB01  |h 0000 
LOW |a POSLANO DO SKCR  |b 2020-05-07 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R579  |5 4200517009  |8 20120912  |f 77  |f Dlouhodobá  |g 2012-217  |r 20120927 
AVA |a INF50  |b FI  |c sklad  |d R579  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 1  |j SKLAD 

Podobné jednotky