Computer Science Logic : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006 : proceedings /

Saved in:
Bibliographic Details
Corporate Authors: Workshop on Computer Science Logic Szeged, Maďarsko) (Author), European Association for Computer Science Logic. Conference
Other Authors: Èsik, Zoltán, 1951-
Format: Book
Language:English
Published: Berlin : Springer, c2006.
Series:Lecture notes in computer science ; 4207
Subjects:
LEADER 02296cam a22005777a 4500
001 MUB01000477757
003 CZ BrMU
005 20120612113108.0
008 061031s2006 gw ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2012-06-18 
020 |a 3-540-45458-6 
040 |a BOD018  |b cze  |d BOD114 
080 |a 75  |2 MRF 
080 |a 004  |2 MRF 
111 2 |a Workshop on Computer Science Logic  |n (20. :  |d 2006 :  |c Szeged, Maďarsko)  |7 stk2007383660  |4 aut 
245 1 0 |a Computer Science Logic :  |b 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006 : proceedings /  |c edited by Zoltán Ésik. 
260 |a Berlin :  |b Springer,  |c c2006. 
300 |a xii, 626 s. 
490 1 |a Lecture notes in computer science ;  |v 4207 
650 0 7 |a logika  |7 ph122436  |2 czenas 
650 0 7 |a počítačová věda  |7 ph124511  |2 czenas 
650 0 9 |a computer science  |2 eczenas 
650 0 9 |a logic  |2 eczenas 
700 1 |a Èsik, Zoltán,  |d 1951-  |7 xx0013199 
710 2 |a European Association for Computer Science Logic.  |b Conference  |n (15. :  |d 2006 :  |c Szeged, Maďarsko) 
830 0 |a Lecture notes in computer science ;  |v 4207 
CAT |a BISKUPOVA  |b 02  |c 20061031  |l MUB01  |h 1407 
CAT |c 20070427  |l MUB01  |h 2159 
CAT |a BATCH-UPD  |b 02  |c 20080319  |l MUB01  |h 0636 
CAT |c 20080429  |l MUB01  |h 1812 
CAT |c 20080429  |l MUB01  |h 1827 
CAT |c 20091203  |l MUB01  |h 0134 
CAT |c 20091203  |l MUB01  |h 1816 
CAT |c 20101015  |l MUB01  |h 2255 
CAT |c 20101016  |l MUB01  |h 0320 
CAT |a SIMCIKOVAX  |b 02  |c 20111015  |l MUB01  |h 1418 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0053 
CAT |a HANAV  |b 02  |c 20120607  |l MUB01  |h 2337 
CAT |a HANAV  |b 02  |c 20120607  |l MUB01  |h 2339 
CAT |a HANAV  |b 02  |c 20120612  |l MUB01  |h 1131 
CAT |c 20120618  |l MUB01  |h 1050 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 0810 
CAT |c 20150404  |l MUB01  |h 0142 
CAT |a BATCH  |b 00  |c 20151225  |l MUB01  |h 2206 
CAT |c 20160401  |l MUB01  |h 1234 
CAT |c 20210614  |l MUB01  |h 0919 
CAT |c 20210614  |l MUB01  |h 1908 
LOW |a POSLANO DO SKCR  |b 2012-06-18 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 K60.06  |5 4200512396  |8 20061031  |f 74  |f Měsíční  |r 20061031 
AVA |a INF50  |b FI  |d K60.06  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0