Coverart for item
The Resource Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings, Erich Grädel, Reinhard Kahle (eds.), (electronic resource)

Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings, Erich Grädel, Reinhard Kahle (eds.), (electronic resource)

Label
Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings
Title
Computer science logic
Title remainder
23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings
Statement of responsibility
Erich Grädel, Reinhard Kahle (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
Annotation:
Member of
Cataloging source
OHX
Dewey number
004.015113
LC call number
QA76.9.L63
LC item number
C78 2009
http://bibfra.me/vocab/lite/meetingDate
2009
http://bibfra.me/vocab/lite/meetingName
CSL 2009
http://library.link/vocab/relatedWorkOrContributorDate
  • 1958-
  • 1967-
http://library.link/vocab/relatedWorkOrContributorName
  • Grädel, Erich
  • Kahle, Reinhard
  • European Association for Computer Science Logic
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary: SL 1-theoretical computer science and general issues
Series volume
5771
http://library.link/vocab/subjectName
  • Computer logic
  • Computational logic
  • Logische Programmierung
  • Programmierlogik
  • Theoretische Informatik
  • Computational logic
  • Logik
  • Logische Programmierung
  • Programmierlogik
  • Theoretische Informatik
Summary expansion
This book constitutes the proceedings of the 23rd International Workshop on Computer Science Logic, CSL 2009, held in Coimbra, Portugal, in September 2009. The 34 papers presented together with 5 invited talks were carefully reviewed and selected from 89 full paper submissions. All current aspects of logic in computer science are addressed, ranging from foundational and methodological issues to application issues of practical relevance. The book concludes with a presentation of this year's Ackermann award, the EACSL Outstanding Dissertation Award for Logic in Computer Science
Label
Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings, Erich Grädel, Reinhard Kahle (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000316898
Dimensions
unknown
Isbn
9783642040269
Isbn Type
(pbk.)
Lccn
2009933208
Specific material designation
remote
System control number
(WaSeSS)bookssj0000316898
Label
Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings, Erich Grädel, Reinhard Kahle (eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000316898
Dimensions
unknown
Isbn
9783642040269
Isbn Type
(pbk.)
Lccn
2009933208
Specific material designation
remote
System control number
(WaSeSS)bookssj0000316898

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...