Coverart for item
The Resource Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings, Matthias Baaz, Johann A. Makowsky (eds.)

Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings, Matthias Baaz, Johann A. Makowsky (eds.)

Label
Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings
Title
Computer science logic
Title remainder
17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings
Statement of responsibility
Matthias Baaz, Johann A. Makowsky (eds.)
Contributor
Subject
Genre
Language
eng
Cataloging source
DLC
Dewey number
005.1/01/5113
Illustrations
illustrations
Index
index present
LC call number
QA76.9.L63
LC item number
C68 2003
Literary form
non fiction
Nature of contents
bibliography
Series statement
Lecture notes in computer science
Series volume
2803
Label
Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings, Matthias Baaz, Johann A. Makowsky (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographic references and index
Carrier category
volume
Carrier MARC source
rdacarrier
Content category
text
Content type MARC source
rdacontent
Dimensions
24 cm.
Extent
xii, 590 p.
Isbn
9783540408017
Isbn Type
(softcover : alk. paper)
Lccn
2003059118
Media category
unmediated
Media MARC source
rdamedia
Other physical details
ill.
System control number
  • (RGTO)DCLC2003059118-B
  • (OCoLC)ocn368165293
Label
Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings, Matthias Baaz, Johann A. Makowsky (eds.)
Publication
Bibliography note
Includes bibliographic references and index
Carrier category
volume
Carrier MARC source
rdacarrier
Content category
text
Content type MARC source
rdacontent
Dimensions
24 cm.
Extent
xii, 590 p.
Isbn
9783540408017
Isbn Type
(softcover : alk. paper)
Lccn
2003059118
Media category
unmediated
Media MARC source
rdamedia
Other physical details
ill.
System control number
  • (RGTO)DCLC2003059118-B
  • (OCoLC)ocn368165293

Library Locations

    • Harold B. Lee Library Brigham Young University, Provo, UT, 84602, US
      40.249156 -111.649242
Processing Feedback ...