Computer science logic : 20th international workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006 : proceedings /

Bibliographic Details
Corporate Authors: Workshop on Computer Science Logic Szeged, Hungary, European Association for Computer Science Logic. Conference
Other Authors: Ésik, Zoltán, 1951-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [2006]
Series:Lecture notes in computer science. 4207.
Subjects:

MARC

Tag First Indicator Second Indicator Subfields
LEADER 00000cam a2200000Ia 4500
001 in00002207253
005 20151104132436.0
008 060929s2006 gw a b 101 0 eng d
010 |a  2006932724 
020 |a 3540454586 
020 |a 9783540454588 
024 3 |a 9783540454588 
029 1 |a YDXCP  |b 2490960 
035 |a (OCoLC)ocm74456599 
040 |a ZCU  |c ZCU  |d CUS  |d BAKER  |d YDXCP  |d TXA  |d UtOrBLW 
049 |a TXAM 
090 |a QA76.9.L63  |b W67 2006 
111 2 |a Workshop on Computer Science Logic  |n (20th :  |d 2006 :  |c Szeged, Hungary) 
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 Zoltán Ésik (ed.). 
246 3 0 |a CSL 2006 
264 1 |a Berlin ;  |a New York :  |b Springer,  |c [2006] 
264 4 |c ©2006 
300 |a xii, 626 pages :  |b illustrations ;  |c 24 cm. 
336 |a text  |b txt  |2 rdacontent 
337 |a unmediated  |b n  |2 rdamedia 
338 |a volume  |b nc  |2 rdacarrier 
490 1 |a Lecture notes in computer science,  |x 0302-9743 ;  |v 4207 
504 |a Includes bibliographical references and index. 
650 0 |a Computer logic  |v Congresses. 
710 2 |a European Association for Computer Science Logic.  |b Conference  |n (15th :  |d 2006 :  |c Szeged, Hungary) 
700 1 |a Ésik, Zoltán,  |d 1951- 
830 0 |a Lecture notes in computer science.  |x 0302-9743 ;  |v 4207. 
994 |a C0  |b TXA 
948 |a cataloged  |b h  |c 2007/1/29  |d c  |e blrosas  |f 3:58:10 pm 
999 |a MARS 
999 f f |s 9bdc88da-3c68-3554-ab05-54b58be30f23  |i c9323f91-90b0-376d-b6c5-6905dd8a7e5d  |t 0 
952 f f |p ric  |a Texas A&M University  |b Rellis Campus  |c Joint Library Facility  |d Remote Storage  |t 0  |e QA76.9.L63 W67 2006  |h Library of Congress classification  |i unmediated -- volume  |m A14835651045 
998 f f |a QA76.9.L63 W67 2006  |t 0  |l Remote Storage